Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

A Prolog Benchmark Suite for Aquarius

Ralph Haygood

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-89-509
April 1989

http://www.eecs.berkeley.edu/Pubs/TechRpts/1989/CSD-89-509.pdf

This report describes a suite of benchmarks for Prolog implementation research. It includes an explanation of the format of the suite, which is meant to facilitate use of the benchmarks. The principal idea of this format is to maintain for each benchmark a master file from which particular instances -- for particular Prolog execution systems, for particular statistics to capture, etc. -- are generated automatically using a preprocessor. A preprocessor provided with the suite for this purpose is described, along with a related utility and a simple framework for execution time measurement. Source code for these is appended. Possibilities for future work with respect both to this suite and to Prolog benchmarking more generally are discussed briefly. For each benchmark in the suite, source code and execution times under C Prolog and Quintus Prolog (compiled) on a Sun 3/60 are appended.


BibTeX citation:

@techreport{Haygood:CSD-89-509,
    Author = {Haygood, Ralph},
    Title = {A Prolog Benchmark Suite for Aquarius},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1989},
    Month = {Apr},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1989/5197.html},
    Number = {UCB/CSD-89-509},
    Abstract = {This report describes a suite of benchmarks for Prolog implementation research. It includes an explanation of the format of the suite, which is meant to facilitate use of the benchmarks. The principal idea of this format is to maintain for each benchmark a master file from which particular instances -- for particular Prolog execution systems, for particular statistics to capture, etc. -- are generated automatically using a preprocessor. A preprocessor provided with the suite for this purpose is described, along with a related utility and a simple framework for execution time measurement. Source code for these is appended. Possibilities for future work with respect both to this suite and to Prolog benchmarking more generally are discussed briefly. For each benchmark in the suite, source code and execution times under C Prolog and Quintus Prolog (compiled) on a Sun 3/60 are appended.}
}

EndNote citation:

%0 Report
%A Haygood, Ralph
%T A Prolog Benchmark Suite for Aquarius
%I EECS Department, University of California, Berkeley
%D 1989
%@ UCB/CSD-89-509
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1989/5197.html
%F Haygood:CSD-89-509