Absys
Template:Infobox programming language
Absys was an early declarative programming language from the University of Aberdeen.<ref name="elcock">Template:Cite journal</ref> It anticipated a number of features of Prolog such as negation as failure, aggregation operators, the central role of backtracking<ref name="kowalski">Template:Cite journal</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 alsoEdit
ReferencesEdit
- "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429