Projog provides an implementation of the Prolog programming language for the Java platform. Prolog is a declarative logic programming language where programs are represented as facts and rules.

Projog can be used as a stand-alone console application or embedded in your Java applications as a Maven dependency.

• Frequently Asked Questions
• Getting Started
• Calling Prolog from Java
• Extending Prolog using Java
• Example applications: Prolog Expert System and Prolog Wumpus World
• Class diagrams and design decisions

The following commands will download Projog and start the console:

$ wget http://projog.org/downloads/projog-0.10.0.zip
$ jar xvf projog-0.10.0.zip
$ cd projog-0.10.0
$ chmod u+x projog-console.sh
$ ./projog-console.sh

When the console has started you can enter the following command:

W=X, X=1+1, Y is W, Z is -W.

Which should generate the following response:

W = 1 + 1
X = 1 + 1
Y = 2
Z = -2

yes

To exit the console type quit.

To include Projog within your project, just add this dependency to your pom.xml file:

<dependency>
   <groupId>org.projog</groupId>
   <artifactId>projog-core</artifactId>
   <version>0.10.0</version>
</dependency>

We would be grateful for feedback. If you would like to report a bug, suggest an enhancement or ask a question then please create a new issue.