ABSYS adalah bahasa pengaturcaraan istihar (declarative programming) awal dari Universiti Aberdeen yang mendahului beberapa ciri-ciri jangkakan beberapa ciri-ciri Prolog.

Lihat juga sunting

Rujukan sunting

  • "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al, Mach Intell 4, Edinburgh U Press, 1969, pp. 423-429