A Pragmatic Reconstruction of LambdaProlog - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1994

A Pragmatic Reconstruction of LambdaProlog

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2390.pdf (344.05 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00074285 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074285 , version 1

Cite

Catherine Belleannée, Pascal Brisset, Olivier Ridoux. A Pragmatic Reconstruction of LambdaProlog. [Research Report] RR-2390, INRIA. 1994. ⟨inria-00074285⟩
178 View
162 Download

Share

Gmail Facebook Twitter LinkedIn More