Definite clause grammars (expansion)

Author(s): Daniel Cabeza.

Version: 1.11#87 (2003/12/21, 2:9:27 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 at call time: Phrase is currently a term which is not a free variable. (term_typing:nonvar/1)
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.