λProlog

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’informatique théorique
Cet article est une ébauche concernant l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

λProlog ou lambda Prolog est un langage de programmation logique dérivé de Prolog. λProlog est une double extension de Prolog, dans un premier temps, en rajoutant les λtermes[1] et dans un second temps avec l'ajout de nouveaux connecteurs tels que l'implication et le quantificateur universel[2]. Il est à noter que lambda Prolog introduit egalement la notion de type simple.

Notes et références[modifier | modifier le code]

  1. D.A. MILLER ET G. NADATHUR, A Logic Programming Approach to Manipulating Formulas and Programs, IEEE Symp. Logic Programming, S. Haridi ed., p. 379-388, San Francisco, CA, USA, 1987.
  2. D.A. MILLER, Lexical Scoping as Universal Quantification, 6th Int. Conf. Logic Programming, G. Levi et M. Martelli ed., p. 268-283, MIT Press, 1989.