I have aded to the PL Zoo a mini prolog interpreter. It really is minimalistic, as it only handles pure Horn clauses. There is no arithmetic, lists, cuts, or disjunctions. Nevertheless, it ought to be possible to write a miniml interpreter in it… If anyone does it, please send me the code!
What do you think about adapting miniprolog to work within Ocaml? It would be nice to be able to integrate functional and logic programming, while maintaining the basic infrastructure (i.e., arithmetic, graphics, iteration) of the Ocaml language.