Absys

From Wikipedia, the free encyclopedia
Revision as of 19:45, 5 July 2021 by imported>OAbot (Open access bot: doi added to citation with #oabot.)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Script error: No such module "Infobox".Template:Template otherScript error: No such module "Check for unknown parameters".

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

References

Template:Reflist

  • "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429
  1. a b c d Script error: No such module "Citation/CS1".
  2. Script error: No such module "Citation/CS1".