Extended DCG Notation: A Tool for Applicative Programming in Prolog

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 24, 1990
Accession Number
ADA632218

Entities

People

  • Peter L. Van Roy

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Application Software
  • Artificial Intelligence
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Grammars
  • Language
  • Manuals
  • Mathematical Analysis
  • Natural Languages
  • Notation
  • Standards
  • User Manuals

Fields of Study

  • Computer science

Readers

  • Computational Linguistics