Kowalski, Robert A. "The early years of logic programming" pp38-43

[ACM] (1988) [ACM] CACM 31(01) (Jan 1988).  

Languages mentioned ABSYS {1966} Aberdeen system declarative language Baroque {1972} Logic programming language GOLUX {1974}