Tinyprolog is a project mainly written in OCaml, it's free.
Naive interpreter for a subset of Prolog
404: Not Found