Absys

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]

Absys

Paradigm	Logic programming
First appeared	1967
Influenced
Prolog

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

See also

• ABSET