equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
2 |
3 <!-- $Id$ --> |
3 <!-- $Id$ --> |
4 <HTML><HEAD> |
|
5 <TITLE>HOL/Prolog/README</TITLE> |
|
6 </HEAD><BODY> |
|
7 |
4 |
|
5 <HTML> |
|
6 |
|
7 <HEAD> |
|
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|
9 <TITLE>HOL/Prolog/README</TITLE> |
|
10 </HEAD> |
|
11 |
|
12 <BODY> |
8 <H2>Prolog -- A bare-bones implementation of Lambda-Prolog</H2> |
13 <H2>Prolog -- A bare-bones implementation of Lambda-Prolog</H2> |
9 |
14 |
10 This is a simple exploratory implementatin of |
15 This is a simple exploratory implementation of |
11 <A HREF="http://www.cse.psu.edu/~dale/lProlog/">Lambda-Prolog</A> in HOL, |
16 <A HREF="http://www.cse.psu.edu/~dale/lProlog/">Lambda-Prolog</A> in HOL, |
12 including some minimal examples (in Test.thy) and a more typical example |
17 including some minimal examples (in Test.thy) and a more typical example |
13 of a little functional language and its type system. |
18 of a little functional language and its type system. |
14 |
19 </BODY> |
15 </BODY></HTML> |
20 </HTML> |