+X :- load_files(X,[if(changed),silent(yes)]).

:- +[wme,rbst].