Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974

Languages mentioned

• Van Emden and Kowalsi extended Prolog {1974}