[not loaded]dcg.pl

 dcg_body(:DCG, ?Pos0, +Qualify, ?List, ?Tail, -Goal, -Pos) is det[private]

Translate DCG body term.

 qualify(+QualifyInfo, +Goal, +Pos0, -QGoal, -Pos) is det[private]

Arguments:

QualifyInfo

- is a term q(Module,Context,Pos), where Module is the module in which Goal must be called and Context is the current source module.

 dcg_extend(+Head, +Extra1, +Extra2, -NewHead)[private]

Extend Head with two more arguments (on behalf DCG compilation). The solution below is one option. Using =.. and append is the alternative. In the current version (5.3.2), the =.. is actually slightly faster, but it creates less garbage.

 dcg_extend(:Rule, ?Pos0, ?List, ?Tail, -Head, -Pos) is det[private]

Extend a non-terminal with the DCG difference list List\Tail. The position term is extended as well to reflect the layout of the created term. The additional variables are located at the end of the Rule.

 dcg_bt_pos(?BraceTermPos, -Pos) is det[private]

Position transformation for mapping of {G} to (G, S=SR).

 dcg_terminal_pos(+ListPos, -TermPos)[private]

 dcg_qualify_pos(?TermPos0, ?ModuleCreatingPos, -TermPos)[private]

 phrase(:RuleSet, ?List)

 phrase(:RuleSet, ?List, ?Rest)

Interface to DCGs

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 phrase(Arg1, Arg2, Arg3)

 call_dcg(Arg1, Arg2, Arg3)

 dcg_translate_rule(Arg1, Arg2, Arg3, Arg4)

 dcg_translate_rule(Arg1, Arg2)