D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 1. Research Report 39, Department of Artificial Intelligence, University of Edinburgh, May 1977.
D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 1. Research Report 39, Department of Artificial Intelligence, University of Edinburgh, May 1977. Superseded by [Warren 1978]. Gift of Maarten van Emden.
Size 6.5 MB - File type application/pdf