Issues in Caching Prolog Goals

A technique for improving the performance of Prolog and Prolog implementation, 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.