Kowalski, Robert A. "Prolog as a logic programming language" University of London. Department of computing. Research reports DOC 81/26 1981

Languages mentioned

• Van Emden and Kowalsi extended Prolog {1974}