:- module(c2, []). :- reexport(c1). :- reexport(c3). :- init_expansors. ::p1(a). ::p1(b).