Belleann\ée, C, Brisset, P and Ridoux, O (1999), "A Pragmatic Reconstruction of Lambda-Prolog", Journal of Logic Programming, 41: 67-102.
Abstract: Lambda-Prolog is a logic programming language in which
hereditary Harrop formulas generalize Horn formulas,
and simply typed Lambda-terms generalize Prolog terms.
One may wonder if these extensions are simultaneously required,
and if useful subsets of Lambda-Prolog can be defined,
at least for pedagogical purposes.
We answer this question by exhibiting a network of necessity links between
the new features of Lambda-Prolog.
The starting point of the network is the demand for programming
by structural induction on Lambda-terms,
and the necessity links give a rationale for such a programming style.
Webpage Link
