Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules ...

Verónica Dahl is an Argentine/Canadian mother, educator, literary writer, musician, composer and computer scientist who is recognized as one of the 15 founders of the field of logic programming. Her ...

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...