Examples of jp.ac.kobe_u.cs.prolog.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

        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

        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

        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

        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

        } 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

        } 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

        } 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

        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

        } 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

        a1 = engine.aregs[1];
        cont = engine.cont;
    // consult(A):-['$get_level'(B),var(A),'$cut'(B),illarg(var,consult(A),1)]
        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 var(a(1))
        a1 = a1.dereference();

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.IntegerTerm

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_connect_3_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_expansion_2_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_expansion_2_3

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_11

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_12_builtins$002Epl_3_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_18_builtins$002Epl_1_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_26_builtins$002Epl_2_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_29_builtins$002Epl_5_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_30_builtins$002Epl_6_1

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.