Volume 29,
Number 1-3,
October-December 1996
High-Performance Implementations of Logic Programming Systems
- Gopal Gupta, Mats Carlsson:
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.
1-3
- Andrew Taylor:
Parma - Bridging the Performance GAP Between Imperative and Logic Programming.
5-16
- Zoltan Somogyi, Fergus Henderson, Thomas Conway:
The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language.
17-64
- Paul Tarau, Koenraad De Bosschere, Bart Demoen:
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology.
65-83
- Andreas Krall:
The Vienna Abstract Machine.
85-106
- 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
- Evan Tick, Barton C. Massey, James S. Larson:
Experience with the Super Monaco Optimizing Compiler.
141-169
- Saumya K. Debray, David Gudeman, Peter A. Bigot:
Detection and Optimization of Suspension-Free Logic Programs.
171-194
- Donald A. Smith:
Multilog and Data or-Parallelism.
195-244
- Kish Shen:
Overview of Daswam: Exploitation of Dependent and-Parallelism.
245-293
Copyright © Wed Nov 25 18:32:00 2009
by Michael Ley (ley@uni-trier.de)
