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
, 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}, 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