Examples of IntegerTerm

com.googlecode.prolog_cafe.lang.IntegerTerm
jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Integer.
The class IntegerTerm wraps a value of primitive type int.
```
 Term t = new IntegerTerm(100); int i = ((IntegerTerm) t).intValue(); 
```
@author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        a5 = engine.aregs[5];
        cont = engine.cont;
    // print_procedure_box(A,B,C,D,E):-['$get_level'(F),clause('jp.ac.kobe_u.cs.prolog.builtin':'$leap_flag'(no),G),'$cut'(F),'$builtin_message'([' ',E,A,:,C:B]),'$dummy_27_builtins.pl'(B,E,C,H,A,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
        Term[] y1 = {a3, a2};
        a7 = new StructureTerm(s2, y1);

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        a4 = engine.aregs[4];
        cont = engine.cont;
    // '$dcg_translate_dcg_atom'(A,B,C,D):-['$get_level'(E),var(A),'$cut'(E),'$unify'(B,phrase(A,C,D))]
        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(1))
        a1 = a1.dereference();

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$term_to_predicateindicator'(A,B,C,D,E):-['$get_level'(F),var(A),'$cut'(F),illarg(var,E,1)]
        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();

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$term_to_predicateindicator'(A,B,C,D,E):-['$get_level'(F),var(C),'$cut'(F),illarg(var,E,1)]
        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(3))
        a3 = a3.dereference();

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$term_to_predicateindicator'(A,B,C,D,E):-['$get_level'(F),'$not_unifiable'(A,G/H),'$cut'(F),illarg(type(predicate_indicator),E,1)]
        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
        Term[] y1 = {new VariableTerm(engine), new VariableTerm(engine)};
        a7 = new StructureTerm(s4, y1);

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        } else {
            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
        p1 = new PRED_illarg_3(s11, a5, si2, cont);
        p2 = new PRED_$cut_1(a7, p1);

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        } else {
            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
        p1 = new PRED_illarg_3(s14, a5, si2, cont);
        p2 = new PRED_$cut_1(a7, p1);

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        } 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
        Term[] y1 = {a2, a4, a5};
        a7 = new StructureTerm(s4, y1);

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        a3 = engine.aregs[3];
        cont = engine.cont;
    // bagof(A,B,C):-['$get_level'(D),callable(B),'$cut'(D),'$bagof'(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
        p1 = new PRED_$bagof_3(a1, a2, a3, cont);
        p2 = new PRED_$cut_1(a4, p1);

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

        } else {
            return engine.fail();
        }
        a10 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(10))
        if (! a10.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        Term[] y1 = {a6, a9};
        a11 = new StructureTerm(s15, y1);

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.