# Absys

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Absys
> Markdown URL: https://mediated.wiki/source/Absys.md
> Source: https://en.wikipedia.org/wiki/Absys
> Source revision: 1032152196
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

{{Infobox programming language
| paradigm        = [Logic programming](/source/Logic_programming)
| year            = 1967
| influenced      = [Prolog](/source/Prolog)
}}

'''Absys''' was an early [declarative](/source/declarative_programming) [programming language](/source/programming_language) from the [University of Aberdeen](/source/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](/source/Prolog) such as [negation as failure](/source/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](/source/logic_programming).<ref name="elcock" />

The name ''Absys'' was chosen as an abbreviation for ''Aberdeen System''.<ref name="elcock" />

==See also==
*[ABSET](/source/ABSET)

==References==
{{Reflist}}
*"ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp.&nbsp;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

---
Adapted from the Wikipedia article [Absys](https://en.wikipedia.org/wiki/Absys) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Absys?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.