Journal of Logic Programming, Volume 29

Volume 29, Number 1-3, October-December 1996

• Gopal Gupta, Mats Carlsson: Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. 1-3 BibTeX
• Andrew Taylor: Parma - Bridging the Performance GAP Between Imperative and Logic Programming. 5-16 BibTeX
• Zoltan Somogyi, Fergus Henderson, Thomas Conway: The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. 17-64 BibTeX
• Paul Tarau, Koenraad De Bosschere, Bart Demoen: Partial Translation: Towards a Protable and Efficient Prolog Implementation Technology. 65-83 BibTeX
• Andreas Krall: The Vienna Abstract Machine. 85-106 BibTeX
• Bruce K. Holmer, Barton Sano, Michael J. Carlton, Peter Van Roy, Alvin M. Despain: Design and Analysis of Hardware for High-Performance Prolog. 107-139 BibTeX
• Evan Tick, Barton C. Massey, James S. Larson: Experience with the Super Monaco Optimizing Compiler. 141-169 BibTeX
• Saumya K. Debray, David Gudeman, Peter A. Bigot: Detection and Optimization of Suspension-Free Logic Programs. 171-194 BibTeX
• Donald A. Smith: Multilog and Data or-Parallelism. 195-244 BibTeX
• Kish Shen: Overview of Daswam: Exploitation of Dependent and-Parallelism. 245-293 BibTeX