Issues in Caching Prolog Goals

Barry Fagin

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-84-204
November 1984

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1984/CSD-84-204.pdf

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.


BibTeX citation:

@techreport{Fagin:CSD-84-204,
    Author = {Fagin, Barry},
    Title = {Issues in Caching Prolog Goals},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1984},
    Month = {Nov},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1984/5946.html},
    Number = {UCB/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.}
}

EndNote citation:

%0 Report
%A Fagin, Barry
%T Issues in Caching Prolog Goals
%I EECS Department, University of California, Berkeley
%D 1984
%@ UCB/CSD-84-204
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1984/5946.html
%F Fagin:CSD-84-204