% Any % % module % main cosmos_main(_args,_upvals):-_upvals=[_logic,_find_flag0,_cmp,_find_flag1,_cmp,_cmp,_find_flag1,_io,_io,_find_flag0,_cmp,_find_flag1,_cmp,_find_flag1,_cmp,_find_flag0,_mutable,_mutable,_mutable,_find_flag0],(_version = "Cosmos 0.16 beta - (Pl)",_opts0 = [],((call_cl(_find_flag0,[_args,"-t"]))->(get_(_mutable,"set",T20),_T19 = T20,call_cl(_T19,["trace",1.0]),get_(_mutable,"set",T22),_T21 = T22,call_cl(_T21,["debug",1.0]),get_(_mutable,"get",T24),_T23 = T24,call_cl(_T23,["debug",_z]),writeln_('[|]'("set debug",'[|]'(_z,[]))));(true)),((call_cl(_find_flag0,[_args,"-i"]))->(writeln_(_version),get_(_cmp,"interpreter",T26),_T25 = T26,call_cl(_T25,[]));((call_cl(_find_flag1,[_args,"-c",_name]))->(writeln_("-c"),get_(_cmp,"compile",T28),_T27 = T28,call_cl(_T27,[_name]));((call_cl(_find_flag1,[_args,"-b",_name]))->(get_(_cmp,"run_pl",T30),_T29 = T30,call_cl(_T29,[_name]));((call_cl(_find_flag0,[_args,"-h"]))->(get_(_io,"writeln",T32),_T31 = T32,call_cl(_T31,[_version]),get_(_io,"writeln",T34),_T33 = T34,str("\n-h\t\t\tGet help.\n"+"-i\t\t\tOpen interpreter.\n"+"-q [str]\t\tMake query.\n"+"-l [name]\t\tCompile name.co to name.pl, run name.pl.\n"+"-c [name]\t\tCompile name.co to name.pl.\n"+"-b [name]\t\tRun generated file name.pl.\n"+"-t [name]\t\tTrace execution.\n"+"\n e.g. cosmos -l test -q main(x) //compile test.co and run `main(x)`",T35),call_cl(_T33,[T35]));((call_cl(_find_flag1,[_args,"-l",_name]))->(get_(_cmp,"compile",T37),_T36 = T37,call_cl(_T36,[_name]),get_(_cmp,"run_pl",T39),_T38 = T39,call_cl(_T38,[_name]));((call_cl(_find_flag1,[_args,"-q",_s]))->(get_(_cmp,"query",T41),_T40 = T41,call_cl(_T40,[_s]));((call_cl(_find_flag0,[_args,"-v"]))->(writeln_(_version));(writeln_("No argument given."))))))))),get_(_logic,"halt",T43),_T42 = T43,call_cl(_T42,[])). % find_flag1 cosmos_find_flag1(_args,_flag,_name,_upvals):-_upvals=[],((if_(_args = [_a|_b],(_b = [_c|_d],(if_(_a = _flag,(_c = _name),(call(cosmos_find_flag1(_b,_flag,_name),_upvals))))),(false)))). % find_flag0 cosmos_find_flag0(_args,_flag,_upvals):-_upvals=[],((if_(_args = [_a|_b],((if_(_a = _flag,(true),(call(cosmos_find_flag0(_b,_flag),_upvals))))),(false)))). % main cosmos(X):-creq("io",_io),creq("list",_list),creq("string",_string),creq("logic",_logic),creq("debug",_debug),creq("mutable",_mutable),creq("comp2",_cmp),creq("table",_table),get_(_mutable,"set",T18),_T17 = T18,call_cl(_T17,["trace",0.0]),X=_args,def(_args),gensym("",_),_find_flag0 = clos([],cosmos_find_flag0),_find_flag1 = clos([],cosmos_find_flag1),_main = clos([_logic,_find_flag0,_cmp,_find_flag1,_cmp,_cmp,_find_flag1,_io,_io,_find_flag0,_cmp,_find_flag1,_cmp,_find_flag1,_cmp,_find_flag0,_mutable,_mutable,_mutable,_find_flag0],cosmos_main),call_cl(_main,[_args]). main(X) :- current_prolog_flag(argv, A), list_atom_string(A, B), cosmos(B).