IntegerTerm
int
Term t = new IntegerTerm(100); int i = ((IntegerTerm) t).intValue();
6061626364656667686970
Predicate cont; cont = engine.cont; // trace:-['$get_level'(A),current_prolog_flag(debug,on),'$cut'(A)] a1 = new VariableTerm(engine); //START inline expansion of $get_level(a(1)) if (! a1.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion p1 = new PRED_$cut_1(a1, cont); return new PRED_current_prolog_flag_2(s1, s2, p1);
7980818283848586878889
Predicate cont; cont = engine.cont; // trace:-['$get_level'(A),set_prolog_flag(debug,on),'$trace_init','$fast_write'('{Small debugger is switch on}'),nl,'$cut'(A)] a1 = new VariableTerm(engine); //START inline expansion of $get_level(a(1)) if (! a1.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion p1 = new PRED_$cut_1(a1, cont); p2 = new PRED_nl_0(p1);
9293949596979899100101102
} 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 p1 = new PRED_$cut_1(a4, cont); return new PRED_C_3(a2, s2, a3, p1);
6768697071727374757677
a1 = engine.aregs[1]; cont = engine.cont; // '$assert_consulted_package'(A):-['$get_level'(B),clause('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_package'(A),C),'$cut'(B)] 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 Term[] y1 = {a1}; a3 = new StructureTerm(s3, y1);
4647484950515253545556
a1 = arg1; a2 = arg2; // read(A,B):-['$get_level'(C),read_tokens(A,D,E),parse_tokens(B,D),'$cut'(C)] 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);
Predicate cont; cont = engine.cont; // notrace:-['$get_level'(A),current_prolog_flag(debug,off),'$cut'(A)] a1 = new VariableTerm(engine); //START inline expansion of $get_level(a(1)) if (! a1.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion p1 = new PRED_$cut_1(a1, cont); return new PRED_current_prolog_flag_2(s1, s2, p1);
Predicate cont; cont = engine.cont; // notrace:-['$get_level'(A),set_prolog_flag(debug,off),'$fast_write'('{Small debugger is switch off}'),nl,'$cut'(A)] a1 = new VariableTerm(engine); //START inline expansion of $get_level(a(1)) if (! a1.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion p1 = new PRED_$cut_1(a1, cont); p2 = new PRED_nl_0(p1);
140141142143144145146147148149150
// '$variables_set'(A,B,B):-['$get_level'(C),var(A),'$builtin_memq'(A,B),'$cut'(C)] if (! a2.unify(a3, engine.trail)) 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 var(a(1)) a1 = a1.dereference();
179180181182183184185186187188189
} 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 var(a(1)) a1 = a1.dereference();
215216217218219220221222223224225
// '$variables_set'(A,B,B):-['$get_level'(C),atomic(A),'$cut'(C)] if (! a2.unify(a3, engine.trail)) 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 atomic(a(1)) a1 = a1.dereference();