Definite clause grammars (expansion)

Author(s): Daniel Cabeza.

Version: 1.9#302 (2004/2/16, 18:48:1 CET)

This module implements the Definite clause grammars (expansion).

Usage and interface (`dcg_expansion`)

Library usage: :- use_module(library(dcg_expansion)).
Exports:
- Predicates: phrase/2, phrase/3, dcg_translation/2.
Other modules used:
- System library modules: terms, assertions/doc_props.

PREDICATE: phrase/2:

phrase(Phrase, List)

Like phrase(Phrase,List,[]).

Meta-predicate with arguments: phrase(goal,?).

PREDICATE: phrase/3:

Meta-predicate with arguments: phrase(goal,?,?).

Usage: phrase(+Phrase, ?List, ?Remainder)

Description: The list List is a phrase of type Phrase (according to the current grammar rules), where Phrase is either a non-terminal or more generally a grammar rule body. Remainder is what remains of the list after a phrase has been found.
The following properties should hold globally: Documentation is still incomplete: phrase(+Phrase,?List,?Remainder) may not conform the functionality documented. (doc_props:doc_incomplete/1)

PREDICATE: dcg_translation/2:: Performs the code expansion of source clauses that use DCGs.