Kowalski, R Predicate logic as programming language Proc IFIP Cong 1974, North-Holland Pub Co , Amsterdam, 1974, pp 569-574

Languages mentioned

• Van Emden and Kowalsi extended Prolog {1974}