A Logical Reconstruction of Prolog II.

Maarten H. van Emden, John W. Lloyd

Browse the full ICLP paper archive.