Ocaml, python, and prolog