% module
:-style_check(-singleton),style_check(-no_effect),ensure_loaded("core3").
% 91624
logic_91624(_p,_n,_x,_y,_upvals):-_upvals=[_iterate],(((_n=0,_y=_x);(call_cl(_p,[_x,_x2]),call_cl(_iterate,[_p,_n-1,_x2,_y])))).
% 1744
logic_1744(_x,_name,_n,_upvals):-_upvals=[],(functor(_x,_name2,_n),atom_string(_name2,_name)).
% 19557
logic_19557(_x,_upvals):-_upvals=[],(throw(_x)).
% 91752
logic_91752(_s,_upvals):-_upvals=[],(str(_s,T30829),shell(T30829)).
% 31170
logic_31170(_upvals):-_upvals=[],(read(_x)).
% 54980
logic_54980(_x,_s,_upvals):-_upvals=[_toString],(call_cl(_toString,[_x,_s])).
% 6779
logic_6779(_upvals):-_upvals=[],(halt).
% 80331
logic_80331(_upvals):-_upvals=[],(halt).
% 26630
logic_26630(_x,_p,_args,_l,_upvals):-_upvals=[],(true).
% 32537
logic_32537(_p,_l,_q,_upvals):-_upvals=[],(apply_catch(_p,_l,_q)).
% 15402
logic_15402(_p,_l,_upvals):-_upvals=[],(get_(_this,"apply",T57864),_T81412=T57864,call_cl(_T81412,[_p,_l]),!).
% forall
logic_forall(_p,_l,_p2,_l2,_upvals):-_upvals=[_apply,_apply],(call_cl(_apply,[_p,[]]),!,call_cl(_apply,[_p2,[]]),!).
% once
logic_once(_p,_l,_upvals):-_upvals=[_apply],(call_cl(_apply,[_p,_l])).
% apply
logic_apply(_p,_l,_upvals):-_upvals=[],(apply2(_l),call_cl(_p,[])).
% get
logic_get(_f,_i,_o2,_upvals):-_upvals=[],(fcget(_f,_i,_o2)).
% size
logic_size(_f,_n,_upvals):-_upvals=[],(fcsize(_f,_n)).
% instantiated
logic_instantiated(_x,_upvals):-_upvals=[],(def(_x)).
% type
logic_type(_x,_y,_upvals):-_upvals=[],(nonvar(_x),((number(_x),_y="Number");(string(_x),_y="String");(is_list(_x),_y="List");(is_assoc(_x),_y="Record");(compound(_x);atom(_x);_x=[],_y="Functor");(_y="Any"))).
% toString
logic_toString(_x,_s,_upvals):-_upvals=[_list,_list,_string,_string,_string,_string,_string,_list,_list,_list,_list],(once(((is_list(_x),get_(_list,"map",T29212),_T76273=T29212,call_cl(_T76273,[_x,_toString,_l2]),get_(_list,"join",T76241),_T704=T76241,call_cl(_T704,[_l2,", ",_s0]),_s="["+_s0+"]");(compound(_x),atom_string(_atom,"closure"),functor(_x,_atom,_),_s="#relation");(var(_x),_s="#var");(is_assoc(_x),_bindingToString=clos([_toString,_toString,_list,_list],logic_bindingToString),assoc_to_list(_x,_l),get_(_list,"join",T97277),_T68335=T97277,get_(_list,"map",T35504),_T12161=T35504,call_cl(_T12161,[_l,_bindingToString,_T81303]),call_cl(_T68335,[_T81303," and ",_s0]),_s="{"+_s0+"}");(atom(_x),atom_string(_x,_s0),((get_(_string,"slice",T86860),_T80712=T86860,call_cl(_T80712,[_s0,0,2,"fc"]),get_(_string,"slice",T12757),_T29232=T12757,get_(_string,"size",T67482),_T70667=T67482,call_cl(_T70667,[_s0,_T96884]),call_cl(_T29232,[_s0,2,_T96884,_s]));(_s="#relation")));(compound(_x),functor_info(_x,_s0,_args),get_(_string,"slice",T70519),_T48878=T70519,get_(_string,"size",T84599),_T22737=T84599,call_cl(_T22737,[_s0,_T14338]),call_cl(_T48878,[_s0,2,_T14338,_T14576]),get_(_list,"join",T90620),_T44747=T90620,get_(_list,"map",T73227),_T66389=T73227,call_cl(_T66389,[_args,_toString,_T71293]),call_cl(_T44747,[_T71293,", ",_T84087]),_s=_T14576+"("+_T84087+")");(number(_x),number_string(_x,_s));(_s=_x)))).
% bindingToString
logic_bindingToString(_b,_s,_upvals):-_upvals=[_toString,_toString,_list,_list],(get_binding(_b,_key,_value),call_cl(_toString,[_key,X66524]),call_cl(_toString,[_value,X98445]),_s=X66524+" = "+X98445).
% main
logic(X):-creq("list",_list),creq("string",_string),_toString=clos([_list,_list,_string,_string,_string,_string,_string,_list,_list,_list,_list],logic_toString),_type=clos([],logic_type),_instantiated=clos([],logic_instantiated),_size=clos([],logic_size),_get=clos([],logic_get),_apply=clos([],logic_apply),_once=clos([_apply],logic_once),_forall=clos([_apply,_apply],logic_forall),new(T20070),set_(T20070,"type",_type,T7317),set_(T7317,"instantiated",_instantiated,T62535),set_(T62535,"apply",_apply,T59210),set_(T59210,"applyOnce",clos([],logic_15402),T81610),set_(T81610,"applyCatch",clos([],logic_32537),T55931),set_(T55931,"listOf",clos([],logic_26630),T54101),set_(T54101,"exit",clos([],logic_80331),T48580),set_(T48580,"halt",clos([],logic_6779),T79034),set_(T79034,"toString",clos([_toString],logic_54980),T62289),set_(T62289,"pause",clos([],logic_31170),T65128),set_(T65128,"exec",clos([],logic_91752),T93132),set_(T93132,"throw",clos([],logic_19557),T53853),set_(T53853,"functor",clos([],logic_1744),T50011),set_(T50011,"iterate",clos([_iterate],logic_91624),T11152),set_(T11152,"get",_get,T10755),set_(T10755,"size",_size,T17736),_t=T17736,X=_t.