Table of Contents

1     Introduction
2     Study Object
2.1     Clause Indexing
2.2     Forward Chaining
2.3     Attribute Variables
2.4     Test Scope
3     Available Optimizations
3.1     Bound Propagation
3.2     Refer Propagation
3.3     Constant Instantiation
3.4     Variable Instantiation
4     Internal Comparison
4.1     Test Results
4.2     Discussion Bound Propagation
4.3     Discussion Refer Propagation
4.4     Discussion Constant Instantiation
4.5     Discussion Variable Instantiation
5     External Comparison
5.1     Test Results
5.2     Discussion GNU Prolog
5.3     Discussion B-Prolog
5.4     Discussion ECLiPSe Prolog
5.5     Discussion SWI-Prolog
5.6     Discussion Ciao Prolog
6     Appendix Harness Listings
6.1     Common Files
6.2     Jekejeke Prolog Harness
6.3     GNU Prolog Harness
6.4     B-Prolog Harness
6.5     ECLiPSe Prolog Harness
6.6     SWI Prolog Harness
6.7     Ciao Prolog Harness
7     Appendix Test Program Listings
7.1     grocery Test Program
7.2     pythago Test Program
7.3     queens Test Program
7.4     money Test Program
7.5     crypt Test Program
7.6     zerba Test Program
7.7     pigeon Test Program
8     Appendix Example Program Listings
8.1     add Example Program
8.2     addensure Example Program
References

Comments