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.

Post a comment:
Write your comment using Markdown. Use $⋯$ for inline and $$⋯$$ for display LaTeX formulas, and <pre>⋯</pre> for display code. Your E-mail address is only used to compute your Gravatar and is not stored anywhere. Comments are moderated through pull requests.