Table of Contents

1     Introduction
2     Study Object
2.1     Memory Organization
2.2     Resolution Step
2.3     Test Scope
3     Test Programs
3.1     nrev Test Program
3.2     crypt Test Program
3.3     deriv Test Program
3.4     poly Test Program
3.5     qsort Test Program
3.6     tictac Test Program
3.7     queens Test Program
3.8     query Test Program
3.9     mtak Test Program
3.10     perfect Test Program
3.11     calc Test Program
4     Available Optimizations
4.1     Choice Point Elimination
4.2     Clause Indexing
4.3     Body Variable Elimination
4.4     Stack Frame Elimination
4.5     Head Variable Elimination
5     Internal Comparison
5.1     Test Results
5.2     Discussion Choice Point Elimination
5.3     Discussion Clause Indexing
5.4     Discussion Body Variable Elimination
5.5     Discussion Stack Frame Elimination
5.6     Discussion Head Variable Elimination
6     External Comparison
6.1     Test Results
6.2     Discussion ECLiPSe Prolog
6.3     Discussion SWI Prolog
6.4     Discussion GNU Prolog
6.5     Discussion Ciao Prolog
6.6     Discussion B-Prolog
7     Harness Programs
7.1     Common Files
7.2     Jekejeke Prolog Harness
7.3     ECLiPSe Prolog Harness
7.4     SWI Prolog Harness
7.5     GNU Prolog Harness
7.6     Ciao Prolog Harness
7.7     B-Prolog Harness
References

Comments