{{Infobox programming language | paradigm = Logic programming | year = 1967 | influenced = Prolog }}
'''Absys''' was an early declarative programming language from the University of Aberdeen.<ref name="elcock">{{Cite journal | last1 = Elcock | first1 = E.W. | year = 1990 | title = Absys: the first logic programming language —A retrospective and a commentary | journal = The Journal of Logic Programming | volume = 9 | issue = 1 | pages = 1–17 | doi = 10.1016/0743-1066(90)90030-9 | doi-access = free }}</ref> It anticipated a number of features of Prolog such as negation as failure, aggregation operators, the central role of backtracking<ref name="kowalski">{{Cite journal| doi = 10.1145/35043.35046 | last1 = Kowalski | first1 = R. A. | title = The early years of logic programming | journal = Communications of the ACM | volume = 31 | page = 38 | year = 1988 | s2cid = 12259230 |url=http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf}}</ref> and constraint solving.<ref name="elcock"/> Absys was the first implementation of a logic programming language.<ref name="elcock" />
The name ''Absys'' was chosen as an abbreviation for ''Aberdeen System''.<ref name="elcock" />
==See also== *ABSET
==References== {{Reflist}} *"ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429
{{DEFAULTSORT:Absys}} Category:Declarative programming languages Category:Prolog programming language family Category:Academic programming languages Category:Logic programming languages Category:Programming languages created in 1967