1use_module(_) :- true.
    2style_check(_) :- true.
    3module(_,_).
    4if(_). else. endif. %assoc.pl
    5%ensure_loaded(F) :- [F].
    6nb_setval(_,_).
    7nb_getval(_,0).
    8atom_string(X,X).
    9exists_source(_).
   10
   11%:- [core].
   12:- style_check(-singleton),style_check(-no_effect).
   13:- ensure_loaded(core).
   14:- ensure_loaded('cosmos').
   15:- ensure_loaded('x').
   16
   17crequire(S,Y) :- creq(S,Y).
   18cstart :- call_comp("interpreter",[]).
   19ceval(S) :- call_comp("query",[S]).
   20cmod(S) :- call_comp("compile",[S]).
   21crun(S) :- call_comp("run_pl",[S]).
   22cli(X) :- cosmos(X).
   23
   24call_comp(S1,L) :- style_check(-singleton),style_check(-no_effect),comp2(X),get_(X,S1,X2),!,call_cl(X2,L).
   25
   26cquery(S) :- ceval(S).
   27
   28:- ensure_loaded('comp2').
   29
   30main(X) :- cosmos(B)