Definite clause grammars (expansion)

Version: 0.4#5 (1998/2/24)

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.