Readings for Learning Lambda Prolog

Lambda Prolog is a higher-order logic programming language.

Learning Lambda Prolog

Dale Miller is working on a book titled
``lambda Prolog: An Introduction to the Language and its Logic''.
The current draft is about 150 pages and describes the core logical features of the language and how to use it to solve programming problems. It should serve as a guide to helping someone learn about the language and to use an implementation of it. The Terzo implementation follows this text closely. Compressed postscript and compressed DVI formats are available.

The paper Higher-Order Logic Programming by Gopalan Nadathur and Dale Miller might also be helpful.

Last update $Date: 1997/08/07 15:59:56 $
Gary T. Leavens