Van Emden, M. H. and R. A. Kowalski "The Semantics of Predicate Logic as a Programming Language" pp733-742

[ACM] (1976) [ACM] JACM 23(4) October 1976  

Languages mentioned Van Emden and Kowalsi extended Prolog {1974}