Absys

Un article de Wikipédia, l'encyclopédie libre.

Absys est un ancien langage de programmation déclarative créé par l'Université d'Aberdeen en 1969[1]. Il prévoit un certain nombre de fonctionnalités de Prolog comme la négation par l'échec, les opérateurs d'agrégation, le rôle central de marche arrière[Quoi ?][2] et la résolution de contraintes[1]. Absys été le premier mode de réalisation d'un langage de programmation logique[1].

Le nom d'Absys est une abréviation pour système Aberdeen[1].

Références[modifier | modifier le code]

  1. ↑ a b c et d (en) Elcock, E.W. (1990). « Absys: the first logic programming language —A retrospective and a commentary ». Le Journal de la logique de programmation 9 (1): 1-17. DOI 10.1016/0743-1066(90)90030-9, Résumé en ligne, [PDF] en ligne
  2. ↑ (en)Kowalski, R. A. (1988). « The early years of logic programming » (PDF). Communications de l'ACM 31: 38 DOI 10.1145/35043.35046

Bibliographie[modifier | modifier le code]

  • "ABSYS: Un compilateur incrémental pour les assertions".., JM Foster et al, Mach Intell 4, Edinburgh U Press, 1969, pp 423-429
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Absys&oldid=116919694 ».