IntegerTerm
int
Term t = new IntegerTerm(100); int i = ((IntegerTerm) t).intValue();
8182838485868788899091
a3 = engine.aregs[3]; cont = engine.cont; // '$dummy_22_builtins.pl'(A,B,C):-['$get_level'(D),atom_codes(A,B),'$cut'(D),'$unify'(C,A)] a4 = new VariableTerm(engine); //START inline expansion of $get_level(a(4)) if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion p1 = new PRED_$unify_2(a3, a1, cont); p2 = new PRED_$cut_1(a4, p1);
7879808182838485868788
a3 = engine.aregs[3]; cont = engine.cont; // setof(A,B,C):-['$get_level'(D),callable(B),'$cut'(D),'$bagof'(A,B,E),sort(E,C)] a4 = new VariableTerm(engine); //START inline expansion of $get_level(a(4)) if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion a5 = new VariableTerm(engine); p1 = new PRED_sort_2(a5, a3, cont);
101102103104105106107108109110111
} if (! s4.unify(a3, engine.trail)) return engine.fail(); a5 = new VariableTerm(engine); //START inline expansion of $get_level(a(5)) if (! a5.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion //START inline expansion of atom(a(4)) a4 = a4.dereference();
474849505152535455
a2 = arg2; a3 = arg3; // '$compare0'(A,B,C):-['$INSERT_AM'([deref(a(2),a(2)),deref(a(3),a(3))]),'$INSERT'(['\tif(! a1.unify(new IntegerTerm(a2.compareTo(a3)), engine.trail))','\t\treturn engine.fail();'])] a2 = a2.dereference(); a3 = a3.dereference(); if(! a1.unify(new IntegerTerm(a2.compareTo(a3)), engine.trail)) return engine.fail(); return cont; }
8990919293949596979899
} else { return engine.fail(); } a3 = new VariableTerm(engine); //START inline expansion of $get_level(a(3)) if (! a3.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion Term[] y1 = {a2}; a4 = new StructureTerm(s4, y1);
a5 = engine.aregs[5]; cont = engine.cont; // '$parse_tokens1'(A,B,C,D,E):-['$get_level'(F),'$parse_tokens_peep_next'(G,D,H),'$parse_tokens_is_starter'(G),'$cut'(F),'$parse_tokens_before_op'(A,B,C,H,E)] a6 = new VariableTerm(engine); //START inline expansion of $get_level(a(6)) if (! a6.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion a7 = new VariableTerm(engine); a8 = new VariableTerm(engine);
8687888990919293949596
a3 = engine.aregs[3]; cont = engine.cont; // merge(A,B,C):-['$get_level'(D),var(A),'$cut'(D),illarg(var,merge(A,B,C),1)] a4 = new VariableTerm(engine); //START inline expansion of $get_level(a(4)) if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion //START inline expansion of var(a(1)) a1 = a1.dereference();
122123124125126127128129130131132
a3 = engine.aregs[3]; cont = engine.cont; // merge(A,B,C):-['$get_level'(D),var(B),'$cut'(D),illarg(var,merge(A,B,C),2)] a4 = new VariableTerm(engine); //START inline expansion of $get_level(a(4)) if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion //START inline expansion of var(a(2)) a2 = a2.dereference();
8586878889909192939495
a3 = engine.aregs[3]; cont = engine.cont; // op(A,B,C):-['$get_level'(D),integer(A),'$less_or_equal'(0,A),'$less_or_equal'(A,1200),'$cut'(D),'$op1'(A,B,C)] a4 = new VariableTerm(engine); //START inline expansion of $get_level(a(4)) if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion //START inline expansion of integer(a(1)) a1 = a1.dereference();
6869707172737475767778
a1 = engine.aregs[1]; cont = engine.cont; // '$dummy_16_builtins.pl'(A):-['$get_level'(B),'$builtin_member'(ignore_ops(true),A),'$cut'(B),fail] a2 = new VariableTerm(engine); //START inline expansion of $get_level(a(2)) if (! a2.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion p1 = new PRED_fail_0(cont); p2 = new PRED_$cut_1(a2, p1);