CS218 and CS318: Higher-Order Logic Programming
Spring 1996
Handout for Lectures on the language lambdaProlog
This handout is designed to introduce you to the syntax of
the language $\lambda$Prolog, to give you an exposure to one particular
implementation of it that is called Terzo and to give you a feeling
for the features of the language as well as its
applications. Accordingly, the handout is divided into four parts:
I intend to cover most of this material in the remaining
lectures. Our ability to do this will be greatly facilitated if
you look at this material before the class, so I request you to do
this. At least one of these lectures will be a demo of the Terzo
system with these examples. Please play around with Terzo in
preparation for this. I have set up an information file that can be
accessed through the Web that will help you do this. Click here
to get to this page.
Last modified: Sunday, May 5, 1996 by gopalan@cs.uchicago.edu