A Pragmatic Reconstruction of LambdaProlog

Catherine Belleannée 1 Pascal Brisset 1 Olivier Ridoux 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : λProlog is a logic programming language in which hereditary Harrop formulas generalise Horn formulas, and simply typed λ-terms generalise Prolog terms. One may wonder whether these extensions are simultaneously required, and if it exists useful subsets of λProlog, at least for pedagogical purposes. We answer this question by exhibiting a network of necessity links between the new features of λProlog. A handy programming heuristic can be proposed after these necessity links for defining relations by induction on types.
Type de document :
Rapport
[Research Report] RR-2390, INRIA. 1994
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00074285
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:56:37
Dernière modification le : mercredi 11 avril 2018 - 02:01:20
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:07:49

Fichiers

Identifiants

  • HAL Id : inria-00074285, version 1

Citation

Catherine Belleannée, Pascal Brisset, Olivier Ridoux. A Pragmatic Reconstruction of LambdaProlog. [Research Report] RR-2390, INRIA. 1994. 〈inria-00074285〉

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

139