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