Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Prolog/README.html
author wenzelm
Tue, 25 Jul 2000 00:06:46 +0200
changeset 9436 62bb04ab4b01
parent 9015 8006e9009621
child 15283 f21466450330
permissions -rw-r--r--
rearranged setup of arithmetic procedures, avoiding global reference values;

<!-- $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>
isabelle