An implementation of Prolog written in OCaml
https://github.com/adamjstewart/prolog.git
(5a0bb5e30fbfad88da5365a6bf6bcab8418b10fb)