Maarten H. van Emden John W. Lloyd A Logical Reconstruction of Prolog II. 35-40 1984 ICLP db/conf/iclp/iclp84.html#EmdenL84