| author | wenzelm |
| Wed, 05 Dec 2001 03:13:57 +0100 | |
| changeset 12378 | 86c58273f8c0 |
| parent 9015 | 8006e9009621 |
| child 15283 | f21466450330 |
| permissions | -rw-r--r-- |
<!-- $Id$ --> <HTML><HEAD> <TITLE>HOL/Prolog/README</TITLE> </HEAD><BODY> <H2>Prolog -- A bare-bones implementation of Lambda-Prolog</H2> This is a simple exploratory implementatin of <A HREF="http://www.cse.psu.edu/~dale/lProlog/">Lambda-Prolog</A> in HOL, including some minimal examples (in Test.thy) and a more typical example of a little functional language and its type system. </BODY></HTML>