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