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