Prolog Implementation - Theses

• David H. D. Warren: Implementing Prolog - Compiling Predicate Logic Programs. Ph.D. dissertation, University of Edinburgh, D.A.I. Research Reports 39 and 40, May 1977
• Peter Van Roy: Can Logic Programming Execute as Fast as Imperative Programming? Ph.D. thesis, University of California at Berkeley 1990
  
• Peter Kursawe: Teilweise Auswertung zur Konstruktion von Zielsprachen. GMD-Bericht Nr. 187, Oldenbourg Verlag, München 1990, Dissertation, Universität Karlsruhe
• Andrew Taylor: High Performance Prolog Implementation. Ph.D. thesis, University of Sydney, Basser Department of Computer Science 1991
  
• Ulf Nilsson: Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. Ph.D. thesis, Linköping University, Department of Computer and Information Science 1992
  
• André Mariën: Improving the Compilation of Prolog in the Framework of the Warren Abstract Machine. PhD thesis, Katholieke Universiteit Leuven, Belgium, September 1993
• Thomas W. Getzinger: Abstract Interpretation for the Compile-Time Optimization of Logic Programs. Ph.D. thesis, University of Southern California 1993
  
• Mark A. Friedman: A Characterization of Prolog Execution. Ph.D. thesis, Univ. of Wisconsin-Madison 1992
  
• Koenraad De Bosschere: Multi-Prolog: een bordgebaseerde parallelle logische programmeertaal (Multi-Prolog: a Blackboard Based Parallel Logic Programming Language). PhD Thesis, Universiteit Gent, 1992, PostScript (University of Gent, Belgium)