Issues in Caching Prolog Goals
Technical Report Identifier: CSD-84-204
Abstract: A technique for improving the performance of Prolog and Prolog implementations, goal caching, is proposed. The algorithmic modifications necessary to accommodate goal caching are outlined, some implementation issues are considered, and results of benchmarks executed by a goal caching Prolog interpreter are analyzed. The principal barriers to improved performance using goal caching are discussed, and future directions for research are suggested.