This is an interpreter written in OCaml for a subset of Prolog instruction set.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool