Absys

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Absys
ParadigmLogic programming
First appeared1967
Website{{#property:P856}}
Influenced
Prolog

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]

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

See also

[edit | edit source]

References

[edit | edit source]
  1. ^ a b c d Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429
Retrieved from "http://70.231.62.181/index.php?title=Absys&oldid=243917"