IntegerTerm
int
Term t = new IntegerTerm(100); int i = ((IntegerTerm) t).intValue();
6869707172737475767778
a1 = engine.aregs[1]; cont = engine.cont; // '$dummy_18_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);
7273747576777879808182
a3 = engine.aregs[3]; cont = engine.cont; // '$dummy_12_builtins.pl'(A,B,C):-['$get_level'(D),hash_contains_key(C,A),'$cut'(D)] 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_$cut_1(a4, cont); return new PRED_hash_contains_key_2(a3, a1, p1);
7475767778798081828384
a2 = engine.aregs[2]; cont = engine.cont; // expand_term(A,B):-['$get_level'(C),var(A),'$cut'(C),'$unify'(A,B)] 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 //START inline expansion of var(a(1)) a1 = a1.dereference();
113114115116117118119120121122123
a2 = engine.aregs[2]; cont = engine.cont; // expand_term(A,B):-['$get_level'(C),'$dcg_expansion'(A,D),'$cut'(C),'$unify'(D,B)] 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 a4 = new VariableTerm(engine); p1 = new PRED_$unify_2(a4, a2, cont);
5253545556575859606162
a2 = arg2; a3 = arg3; // '$write_term'(A,B,C):-['$get_level'(D),'$write_term0'(B,1200,punct,E,C,A),'$cut'(D)] 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_$cut_1(a4, cont); return new PRED_$write_term0_6(a2, si1, s2, new VariableTerm(engine), a3, a1, p1);
111112113114115116117118119120121
} 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 //START inline expansion of var(a(1)) a1 = a1.dereference();
153154155156157158159160161162163
} 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 a4 = new ListTerm(new VariableTerm(engine), new VariableTerm(engine)); //START inline expansion of $unify(a(1),a(4))
196197198199200201202203204205206
} 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 p1 = new PRED_$cut_1(a3, cont); return new PRED_compound_1(a1, p1);
216217218219220221222223224225226
a2 = engine.aregs[2]; cont = engine.cont; // '$calc_indexing_key0'(A,B):-['$get_level'(C),ground(A),'$cut'(C),'$term_hash'(A,B)] 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 //START inline expansion of ground(a(1)) a1 = a1.dereference();
a3 = engine.aregs[3]; cont = engine.cont; // '$dummy_28_builtins.pl'(A,B,C):-['$get_level'(D),'$equality_of_term'(A,[]),'$cut'(D),'$unify'(B,99)] 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 $equality_of_term(a(1),s(1)) a1 = a1.dereference();