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