Absys
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[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
- (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
- (en)Kowalski, R. A. (1988). « The early years of logic programming » (PDF). Communications de l'ACM 31: 38 DOI 10.1145/35043.35046
Bibliographie
- "ABSYS: Un compilateur incrémental pour les assertions".., JM Foster et al, Mach Intell 4, Edinburgh U Press, 1969, pp 423-429
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.