Examples of jp.ac.kobe_u.cs.prolog.lang.Term.unify()

jp.ac.kobe_u.cs.prolog.lang.Term.unify()
Checks whether the argument term is unified with this one. @param t the term to be unified with. @param trail Trail Stack. @return true if succeeds, otherwise false.

        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
        cont = engine.cont;
    // '$term_to_head'(A,A,B,C):-['$get_level'(D),atom(A),'$cut'(D)]
        if (! a1.unify(a2, 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();

View Full Code Here

        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
        cont = engine.cont;
    // '$term_to_head'(A,A,B,C):-['$get_level'(D),compound(A),'$cut'(D)]
        if (! a1.unify(a2, 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();

View Full Code Here

        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$head_to_term'(A,A,B,B,C):-['$get_level'(D),callable(A),atom(B),'$cut'(D)]
        if (! a1.unify(a2, engine.trail))
            return engine.fail();
        if (! a3.unify(a4, engine.trail))
            return engine.fail();
        a6 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(6))

View Full Code Here

0 1 2 3 4 5 6

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.