%0 Table {abs.Relation Integer Integer;add.Relation Any Any Any;ceil.Relation Real Integer;dec.Relation Any Any;div.Relation Any Any Any;floor.Relation Real Integer;inc.Relation Any Any;integerToReal.Relation Integer Real;integerToString.Relation Integer String;max.Relation Real Integer;min.Relation Real Integer;mul.Relation Any Any Any;random.Relation Real;realToInteger.Relation Real Real;realToString.Relation Real String;sqrt.Relation Real Real;stringToNumber.Relation Any Any;sub.Relation Any Any Any}
% 
% module
% 19
math_19(_n,_x,_upvals):-_upvals=[],(integer_float(_n,_x)).
% 18
math_18(_n,_x,_upvals):-_upvals=[],(integer_float(_n,_x)).
% 17
math_17(_n,_s,_upvals):-_upvals=[],(number_string(_n,_s)).
% 16
math_16(_n,_s,_upvals):-_upvals=[],(number_string(_n,_s)).
% 15
math_15(_s,_n,_upvals):-_upvals=[],(number_string(_n,_s)).
% 14
math_14(_x,_y,_upvals):-_upvals=[],({_x-1.0=T21},_y = T21).
% 13
math_13(_x,_y,_upvals):-_upvals=[],(calc(_x+1.0,T19),_y = T19).
% 12
math_12(_x,_y,_z,_upvals):-_upvals=[],({_x/_y=T17},_z = T17).
% 11
math_11(_x,_y,_z,_upvals):-_upvals=[],({_x*_y=T15},_z = T15).
% 10
math_10(_x,_y,_z,_upvals):-_upvals=[],({_x-_y=T13},_z = T13).
% 9
math_9(_x,_y,_z,_upvals):-_upvals=[],(calc(_x+_y,T11),_z = T11).
% 8
math_8(_x,_y,_upvals):-_upvals=[],(sup(_x,_y)).
% 7
math_7(_x,_y,_upvals):-_upvals=[],(inf(_x,_y)).
% 6
math_6(_x,_y,_upvals):-_upvals=[],(ceiling(_x,_y)).
% 5
math_5(_x,_y,_upvals):-_upvals=[],(floor(_x,_y)).
% 4
math_4(_x,_y,_upvals):-_upvals=[],(abs(_x,_y)).
% 3
math_3(_x,_upvals):-_upvals=[],(random(_x)).
% 2
math_2(_x,_y,_upvals):-_upvals=[],(sqrt(_x,_y)).
% main
math(X):-new(T1),set_(T1,"sqrt",clos([],math_2),T3),set_(T3,"random",clos([],math_3),T4),set_(T4,"abs",clos([],math_4),T5),set_(T5,"floor",clos([],math_5),T6),set_(T6,"ceil",clos([],math_6),T7),set_(T7,"min",clos([],math_7),T8),set_(T8,"max",clos([],math_8),T9),set_(T9,"add",clos([],math_9),T10),set_(T10,"sub",clos([],math_10),T12),set_(T12,"mul",clos([],math_11),T14),set_(T14,"div",clos([],math_12),T16),set_(T16,"inc",clos([],math_13),T18),set_(T18,"dec",clos([],math_14),T20),set_(T20,"stringToNumber",clos([],math_15),T22),set_(T22,"integerToString",clos([],math_16),T23),set_(T23,"realToString",clos([],math_17),T24),set_(T24,"integerToReal",clos([],math_18),T25),set_(T25,"realToInteger",clos([],math_19),T2),_t = T2,X=_t.