From Wikipedia, the free encyclopedia
  (Redirected from ABSYS)
Jump to navigation Jump to search
Paradigm Logic programming
First appeared 1967

Absys was an early declarative programming language from the University of Aberdeen.[1] It anticipated a number of features of Prolog such as negation as failure, aggregation operators, the central role of backtracking[2] and constraint solving.[1] Absys was the first implementation of a logic programming language.[1]

The name Absys was chosen as an abbreviation for Aberdeen System.[1]

See also[edit]


  1. ^ a b c d Elcock, E.W. (1990). "Absys: the first logic programming language —A retrospective and a commentary". The Journal of Logic Programming. 9 (1): 1–17. doi:10.1016/0743-1066(90)90030-9.
  2. ^ Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38. doi:10.1145/35043.35046.
  • "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429