Prolog Interpretor in Ocaml