Implemetation of a Prolog interpreter (with cuts) in OCaML