1:- module(dcg4pt_expand, []). 2:- reexport(library(dcg4pt)). 3 4user:term_expansion(X1 --> Y1, [Rule]) :- 5 dcg4pt:dcg4pt_rule_to_dcg_rule(X1 --> Y1, X2 --> Y2), 6 dcg_translate_rule(X2 --> Y2, Rule)