Miniprolog
- 16 January 2009
- Programming languages
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!
Posting comments:
At present comments are disabled because the relevant script died.
You are welcome to contact me directly.
Comments
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.