Lambda Prolog

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]. Lambda Prolog introduit également 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.