There is are many papers published about the theory, implementation, design, and applications of lambda Prolog. Two small collections of such papers can be found here and here.

John Hannan has written a tutorial on Program Analysis in lambda Prolog at the 1998 PLILP Conference.

Amy Felty has written a tutorial on lambda Prolog and its Applications to Theorem Proving (1997).

Olivier Ridoux has written Lambda-Prolog de A à Z... ou presque (163 pages, French). Available as PostScript, PDF, and HTML).

Jean Michel Leconte is composing a tutorial for lambda Prolog in French.

A 150 page draft of a book titled ``lambda Prolog: An Introduction to the Language and its Logic'', by Dale Miller is available as compressed postscript, compressed DVI, and PDF formats Note: Work on this book has stopped: instead efforts are being put into the following instead.

Dale Miller and Gopalan Nadathur are working on a much improved and more coherent book on lambda Prolog. We started this during Nadathur's sabbatical in France in 2004 and we hope to complete it in 2005.