Mathematics and Computation

A blog about mathematics for computers


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.

How to comment on this blog: At present comments are disabled because the relevant script died. If you comment on this post on Mastodon and mention, I will gladly respond. You are also welcome to contact me directly.