Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

A pragmatic reconstruction of Lambda-Prolog

Catherine Belleannee 1 Pascal Brisset 2 Olivier Ridoux 3 
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
3 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
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.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-00934033
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : vendredi 31 janvier 2014 - 15:44:11
Dernière modification le : samedi 25 juin 2022 - 19:43:15

Lien texte intégral

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

323