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