Simple Prolog implementation in Ocaml

Key Features:

• Unification using Robinson's algorithm.
• Comprehensive support for syntax, semantics, and arithmetic operations.
• Reading the predicate base from a file
• Queries can be sent from the console.
• Implementation of backtracking with a state monad providing a search for multiple solutions.

---

Required libraries:

• Dune
• Menhir
• Linenoise

---

Manual Installation:

sudo apt install opam
opam init
opam install dune
opam install linenoise
opam install menhir
eval $(opam config env)
dune build    
dune exec prolog

---

Plans for the future development:

• Support for Prolog lists
• Comparison operators

---

Preview: