Extended DCG Notation: A Tool for Applicative Programming in Prolog

Peter Lodewijk Van Roy

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-90-583
July 1990

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-583.pdf

This report describes a preprocessor that simplifies purely applicative programming in Prolog. The preprocessor generalizes Prolog's Definite Clause Grammar (DCG) notation to allow programming with multiple accumulators. It has been an indispensable tool in the development of an optimizing Prolog compiler. Its use is transparent in versions of Prolog that conform to the Edinburgh standard. This report contains a description of the preprocessor, a user manual, a large example program, and the source code of the preprocessor.


BibTeX citation:

@techreport{Van Roy:CSD-90-583,
    Author = {Van Roy, Peter Lodewijk},
    Title = {Extended DCG Notation: A Tool for Applicative Programming in Prolog},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1990},
    Month = {Jul},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/5471.html},
    Number = {UCB/CSD-90-583},
    Abstract = {This report describes a preprocessor that simplifies purely applicative programming in Prolog. The preprocessor generalizes Prolog's Definite Clause Grammar (DCG) notation to allow programming with multiple accumulators. It has been an indispensable tool in the development of an optimizing Prolog compiler. Its use is transparent in versions of Prolog that conform to the Edinburgh standard. This report contains a description of the preprocessor, a user manual, a large example program, and the source code of the preprocessor.}
}

EndNote citation:

%0 Report
%A Van Roy, Peter Lodewijk
%T Extended DCG Notation: A Tool for Applicative Programming in Prolog
%I EECS Department, University of California, Berkeley
%D 1990
%@ UCB/CSD-90-583
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/5471.html
%F Van Roy:CSD-90-583