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