ABSYS 1

University of Aberdeen

An early declarative language, which anticipated a number of the features of Prolog.

"ABSYS 1: An Incremental Compiler for Assertions", J. M. Foster et al, Machine Intelligence 4, Edinburgh University Press, 1969, pp.423-429.