Lambda-Prolog: An Extended Logic Programming Language.

Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov

Browse the full CADE paper archive.