Basic prolog interpreter using OCaml