apply_macros:expand

/usr/local/src/swipl-devel/build/home/library/apply_macros.pl

Availability::- use_module(library(apply_macros)).(can be autoloaded)

expand_phrase(+PhraseGoal, -Goal) is semidet

expand_phrase(+PhraseGoal, +Pos0, -Goal, -Pos) is semidet

Provide goal-expansion for PhraseGoal. PhraseGoal is either phrase/2,3 or call_dcg/2,3. The current version does not translate control structures, but only simple terminals and non-terminals.

For example:

?- expand_phrase(phrase(("ab", rule)), List), Goal).
Goal = (List=[97, 98|_G121], rule(_G121, [])).

throws: - Re-throws errors from dcg_translate_rule/2