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

Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to it. This approach is ...

Within the examples directory, we've provided four separate files that you can utilize to get a taste for the four logic programming packages.

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 ...

This repository holds Logika examples suitable for an undergraduate formal logic introduction course (e.g., K-State's CIS 301: Logical Foundations of Programming) that discusses: ...

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

Boolean logic is an essential part of mathematics, engineering, and programming. In most languages, there's a dedicated ...