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

    // '$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);

View Full Code Here

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

        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$dummy_22_builtins.pl'(A,B,C):-['$get_level'(D),atom_codes(A,B),'$cut'(D),'$unify'(C,A)]
        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_$unify_2(a3, a1, cont);
        p2 = new PRED_$cut_1(a4, p1);

View Full Code Here

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

        a3 = engine.aregs[3];
        cont = engine.cont;
    // setof(A,B,C):-['$get_level'(D),callable(B),'$cut'(D),'$bagof'(A,B,E),sort(E,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
        a5 = new VariableTerm(engine);
        p1 = new PRED_sort_2(a5, a3, cont);

View Full Code Here

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

        }
        if (! s4.unify(a3, engine.trail))
            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 atom(a(4))
        a4 = a4.dereference();

View Full Code Here

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

        a2 = arg2;
        a3 = arg3;
    // '$compare0'(A,B,C):-['$INSERT_AM'([deref(a(2),a(2)),deref(a(3),a(3))]),'$INSERT'(['\tif(! a1.unify(new IntegerTerm(a2.compareTo(a3)), engine.trail))','\t\treturn engine.fail();'])]
        a2 = a2.dereference();
        a3 = a3.dereference();
  if(! a1.unify(new IntegerTerm(a2.compareTo(a3)), engine.trail))
    return engine.fail();
        return cont;
    }

View Full Code Here

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

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

View Full Code Here

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

        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$parse_tokens1'(A,B,C,D,E):-['$get_level'(F),'$parse_tokens_peep_next'(G,D,H),'$parse_tokens_is_starter'(G),'$cut'(F),'$parse_tokens_before_op'(A,B,C,H,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);
        a8 = new VariableTerm(engine);

View Full Code Here

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

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

View Full Code Here

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

        a3 = engine.aregs[3];
        cont = engine.cont;
    // merge(A,B,C):-['$get_level'(D),var(B),'$cut'(D),illarg(var,merge(A,B,C),2)]
        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();

View Full Code Here

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

        a3 = engine.aregs[3];
        cont = engine.cont;
    // op(A,B,C):-['$get_level'(D),integer(A),'$less_or_equal'(0,A),'$less_or_equal'(A,1200),'$cut'(D),'$op1'(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 integer(a(1))
        a1 = a1.dereference();

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.