ABSYS was an early
declarative programming language from the
University of Aberdeen which anticipated a number of features of
Prolog.
See also
References
- "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al, Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429