Absys

Absys est un ancien langage de programmation déclarative créé par l'Université d'Aberdeen en 1969. 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 ?] 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

  1. 1 2 3 4 (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