microProlog

An implementation of a tiny logical Prolog-like language based on SLD-resolution.

Installation:

Prerequisites:

• opam pin ppxlib 0.13.0
• opam pin add -n ostap https://github.com/dboulytchev/ostap.git\#memoCPS
• opam pin add GT https://github.com/JetBrains-Research/GT.git -n -y

Clone this repository, go src and make.