Prolog Interpreter

Prolog is a general purpose programming logic language often associated with artificial intelligence. It’s a declarative language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.
Prolog is less popular compared to other languages such as C or Java, because its way of coding is quite different from imperative programming. However, it remains powerful in some computing fields, such as expert systems.
In this project we’ve built an interpreter for Prolog, developed entirely in Java.
The resolution method used is called SLD resolution (Selective Linear Definite clause resolution), which is the basic inference rule used in logic programming. This main operation – the resolving algorithm – is included in our code source.
However, we haven’t written all of the Prolog’s commands, such as loops.
We added finally a graphical interface for users, also written in Java.

Leave a Reply

Your email address will not be published. Required fields are marked *