A pragmatic reconstruction of Lambda-Prolog - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic Programming Année : 1999

A pragmatic reconstruction of Lambda-Prolog


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.

Dates et versions

hal-00934033 , version 1 (31-01-2014)



Catherine Belleannee, Pascal Brisset, Olivier Ridoux. A pragmatic reconstruction of Lambda-Prolog. Journal of Logic Programming, 1999, 41 (1), pp 67-102. ⟨10.1016/S0743-1066(98)10038-9⟩. ⟨hal-00934033⟩
345 Consultations
0 Téléchargements



Gmail Facebook Twitter LinkedIn More