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