IntegerTerm
int
Term t = new IntegerTerm(100); int i = ((IntegerTerm) t).intValue();
244245246247248249250251252253254
a1 = engine.aregs[1]; cont = engine.cont; // consult(A):-['$get_level'(B),atom(A),'$cut'(B),'$consult'(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 atom(a(1)) a1 = a1.dereference();
10031004100510061007100810091010101110121013
} if (! a3.unify(a4, engine.trail)) return engine.fail(); a7 = new VariableTerm(engine); //START inline expansion of $get_level(a(7)) if (! a7.unify(new IntegerTerm(engine.B0), engine.trail)) { return engine.fail(); } //END inline expansion //START inline expansion of var(a(6)) a6 = a6.dereference();
8283848586878889909192
a2 = engine.aregs[2]; cont = engine.cont; // '$write_dynamic_clause'(A,B):-['$get_level'(C),var(B),'$cut'(C),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(2)) a2 = a2.dereference();
457458459460461462463464465466467
// '$dcg_translate_dcg'(A,B,C,D,C):-['$get_level'(E),var(A),'$cut'(E),'$dcg_translate_dcg_atom'(A,B,D,C)] if (! a3.unify(a5, engine.trail)) 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 //START inline expansion of var(a(1)) a1 = a1.dereference();
409410411412413414415416417418419
a3 = engine.aregs[3]; cont = engine.cont; // '$localize_body'(A,B,C):-['$get_level'(D),var(A),'$cut'(D),'$localize_body'(call(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 var(a(1)) a1 = a1.dereference();
119120121122123124125126127128129
a2 = engine.aregs[2]; cont = engine.cont; // '$op_atom_list'(A,B):-['$get_level'(C),var(A),'$cut'(C),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();
212213214215216217218219220221222
} 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 //START inline expansion of atom(a(3)) a3 = a3.dereference();
645646647648649650651652653654655
a3 = engine.aregs[3]; cont = engine.cont; // '$localize_body'(A,B,C):-['$get_level'(D),functor(A,E,F),'$builtin_meta_predicates'(E,F,G),'$cut'(D),'$univ'(A,[E|H]),'$localize_args'(G,H,B,I),'$univ'(C,[E|I])] 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); a6 = new VariableTerm(engine);
705706707708709710711712713714715
} else { 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 var(a(2)) a2 = a2.dereference();
770771772773774775776777778779780
// '$localize_body'(A,B,A):-['$get_level'(C),system_predicate(A),'$cut'(C)] if (! a1.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 p1 = new PRED_$cut_1(a4, cont); return new PRED_system_predicate_1(a1, p1);