:- initialization(assertz(i(include_2))). :- public(c/0). c.