ABSYS

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

Lihat juga 
 ABSET

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

Bahasa pengaturcaraan pengisytiharan
Bahasa pengaturcaraan
Declarative programming languages