Absys was an early declarative

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming l ...

from the

University of Aberdeen , mottoeng = The fear of the Lord is the beginning of wisdom , established = , type = Public research universityAncient university , endowment = £58.4 million (2021) , budget ...

. It anticipated a number of features of

Prolog Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily a ...

such as negation as failure, aggregation operators, the central role of backtracking and constraint solving. Absys was the first implementation of a

logic programming language Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic p ...

. The name ''Absys'' was chosen as an abbreviation for ''Aberdeen System''.

References

*"ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429 {{DEFAULTSORT:Absys Declarative programming languages Prolog programming language family Academic programming languages Logic programming languages Programming languages created in 1967

See also

References