src/HOL/Prolog/README.html
author oheimb
Tue Jun 11 16:43:17 2002 +0200 (2002-06-11)
changeset 13208 965f95a3abd9
parent 9015 8006e9009621
child 15283 f21466450330
permissions -rw-r--r--
added the usual file headers
oheimb@9015
     1
<!-- $Id$ -->
oheimb@9015
     2
<HTML><HEAD>
oheimb@9015
     3
<TITLE>HOL/Prolog/README</TITLE>
oheimb@9015
     4
</HEAD><BODY>
oheimb@9015
     5
oheimb@9015
     6
<H2>Prolog -- A bare-bones implementation of Lambda-Prolog</H2>
oheimb@9015
     7
oheimb@9015
     8
This is a simple exploratory implementatin of 
oheimb@9015
     9
<A HREF="http://www.cse.psu.edu/~dale/lProlog/">Lambda-Prolog</A> in HOL,
oheimb@9015
    10
including some minimal examples (in Test.thy) and a more typical example
oheimb@9015
    11
of a little functional language and its type system.
oheimb@9015
    12
oheimb@9015
    13
</BODY></HTML>