IntegerTerm
int
Term t = new IntegerTerm(100); int i = ((IntegerTerm) t).intValue();
96979899100101102103104105106
} else { return engine.fail(); } 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);
156157158159160161162163164165166
} 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 VariableTerm(engine); p1 = new PRED_$cut_1(a3, cont);
6364656667686970717273
a1 = engine.aregs[1]; cont = engine.cont; // '$write_goal'(A):-['$get_level'(B),java(A),'$cut'(B),current_output(C),'$write_toString'(C,A)] 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 //START inline expansion of java(a(1)) a1 = a1.dereference();
8485868788899091929394
} else { return engine.fail(); } 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),a(3)) a1 = a1.dereference();
137138139140141142143144145146147
a3 = engine.aregs[3]; cont = engine.cont; // '$term_variant'(A,B,C):-['$get_level'(D),var(A),'$cut'(D),'$dummy_13_builtins.pl'(B,C,A,E)] 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();
171172173174175176177178179180181
a3 = engine.aregs[3]; cont = engine.cont; // '$term_variant'(A,B,C):-['$get_level'(D),ground(A),'$cut'(D),'$equality_of_term'(A,B)] 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 ground(a(1)) a1 = a1.dereference();
212213214215216217218219220221222
a3 = engine.aregs[3]; cont = engine.cont; // '$term_variant'(A,B,C):-['$get_level'(D),var(B),'$cut'(D),fail] 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();
6263646566676869707172
a1 = engine.aregs[1]; cont = engine.cont; // '$dummy_9_builtins.pl'(A):-['$get_level'(B),atom(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 //START inline expansion of atom(a(1)) a1 = a1.dereference();
8283848586878889909192
a5 = engine.aregs[5]; cont = engine.cont; // '$dummy_29_builtins.pl'(A,B,C,D,E):-['$get_level'(F),nonvar(D),'$cut'(F),'$unify'(A,type_error(E,C,B,D))] 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 //START inline expansion of nonvar(a(4)) a4 = a4.dereference();
188189190191192193194195196197198
a5 = engine.aregs[5]; cont = engine.cont; // '$parse_tokens_before_op'(A,B,C,D,E):-['$get_level'(F),'C'(D,' ',G),'$cut'(F),'$parse_tokens_before_op'(A,B,C,G,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); p1 = new PRED_$parse_tokens_before_op_5(a1, a2, a3, a7, a5, cont);