"Lambda-Prolog: An Extended Logic Programming Language."

Amy P. Felty et al. (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics