ΛProlog

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

λ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.