Tutorial on Lambda-Prolog.

Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning

Browse the full CADE paper archive.