Jump to content

Absys

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Dimadick (talk | contribs) at 10:16, 4 February 2017 (→‎References). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Absys
ParadigmLogic programming
First appeared1967
Influenced
Prolog

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

References

  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
Retrieved from "https://en.wikipedia.org/w/index.php?title=Absys&oldid=763641465"