Elcock, E. W. "Absys: the first logic programming language ? A retrospective and a commentary" The Journal of Logic Programming 9(1) July 1990, pp1-17

Languages mentioned

• ABSYS {1966} Aberdeen system declarative language