An early declarative language from theUniversity of Aberdeen which anticipated a number offeatures of Prolog.["ABSYS: An Incremental Compiler for Assertions", J.M. Fosteret al, Mach Intell 4, Edinburgh U Press, 1969, pp. 423-429].