Learn what logic programming is, how it works, and why it matters. Explore some popular logic programming languages and how to get started with them.

These achievements are reviewed here. The concrete syntax of the examples is Curry, 27 but the design of the code and most of our considerations about the programs are valid for any other functional ...

Logical Programming and Formal Methods Course Welcome to the Logical Programming and Formal Methods course! This course is designed to take you from a beginner level to an advanced understanding of ...

We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching by asking ...

Probabilistic logic programming extends logic programming by enabling the representation of uncertain information by means of probability theory. Probabilistic logic programming is at the intersection ...

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

Adam C. Foltzer introduces Molog, a typed functional logic programming language written in Haskell.

Tautology Checker using Logic Programming and Computational Linguistics in Prolog. This is an application based on Logic Programming which computes whether the given expression is a tautology or not.