Absys est un ancien langage de programmation déclarative créé par l'Université d'Aberdeen en 1969 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. , Résumé en ligne, en ligne. 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 Kowalski, R. A. (1988). « The early years of logic programming » (PDF). Communications de l'ACM 31: 38 et la résolution de contraintes. Absys été le premier mode de réalisation d'un langage de programmation logique.
Le nom d'Absys est une abréviation pour système Aberdeen.
Références
Bibliographie "ABSYS: Un compilateur incrémental pour les assertions".., JM Foster et al, Mach Intell 4, Edinburgh U Press, 1969, pp 423-429
Catégorie:Langage de programmation