List of unify() Examples

Examples of unify()

aima.core.logic.fol.Unifier.unify()
Returns a Map representing the substitution (i.e. a set of variable/term pairs) or null which is used to indicate a failure to unify. @param x a variable, constant, list, or compound @param y a variable, constant, list, or compound @return a Map representing the substitution (i.e. a setof variable/term pairs) or null which is used to indicate a failure to unify.
com.googlecode.prolog_cafe.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.

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

        cont = engine.cont;
    // '$dummy_29_builtins.pl'(A,B,C,D,E):-['$unify'(A,instantiation_error(E,C))]
        Term[] y1 = {a5, a3};
        a6 = new StructureTerm(s2, y1);
        //START inline expansion of $unify(a(1),a(6))
        if (! a1.unify(a6, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }

View Full Code Here

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

        } else {
            engine.cut(((IntegerTerm) a3).intValue());
        }
        //END inline expansion
        //START inline expansion of $unify(a(1),a(2))
        if (! a1.unify(a2, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }

View Full Code Here

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

        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // expand_term(A,A):-[]
        if (! a1.unify(a2, engine.trail))
            return engine.fail();
        return cont;
    }
}

View Full Code Here

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

        Term a1, a2;
        a1 = arg1;
        a2 = arg2;
    // A=B:-['$unify'(A,B)]
        //START inline expansion of $unify(a(1),a(2))
        if (! a1.unify(a2, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }

View Full Code Here

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

            return engine.fail();
        }
        //END inline expansion
        a4 = new ListTerm(new VariableTerm(engine), new VariableTerm(engine));
        //START inline expansion of $unify(a(1),a(4))
        if (! a1.unify(a4, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of $cut(a(3))
        a3 = a3.dereference();

View Full Code Here

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

        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$dummy_28_builtins.pl'(A,B,C):-['$unify'(A,[B|C])]
        a4 = new ListTerm(a2, a3);
        //START inline expansion of $unify(a(1),a(4))
        if (! a1.unify(a4, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }

View Full Code Here

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

        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$numbervars_str'(A,A,B,C,D):-['$neck_cut',arg(A,B,E),'$numbervars'(E,C,D)]
        if (! a1.unify(a2, engine.trail))
            return engine.fail();
        //START inline expansion of $neck_cut
        engine.neckCut();
        //END inline expansion
        a6 = new VariableTerm(engine);

View Full Code Here

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

        Term a1, a2, a3, a4, a5, a6, a7;
        Predicate p1, p2, p3, p4, p5, p6, p7, p8;
    // '$trace_init':-['$get_level'(A),retractall('jp.ac.kobe_u.cs.prolog.builtin':'$leap_flag'(B)),retractall('jp.ac.kobe_u.cs.prolog.builtin':'$current_leash'(C)),retractall('jp.ac.kobe_u.cs.prolog.builtin':'$current_spypoint'(D,E,F)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$leap_flag'(no)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$current_leash'(call)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$current_leash'(exit)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$current_leash'(redo)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$current_leash'(fail)),'$cut'(A)]
        a1 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(1))
        if (! a1.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        Term[] y1 = {new VariableTerm(engine)};
        a2 = new StructureTerm(s3, y1);

View Full Code Here

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

        //END inline expansion
        a8 = new VariableTerm(engine);
        Term[] y1 = {a8};
        a9 = new StructureTerm(s2, y1);
        //START inline expansion of $unify(a(1),a(9))
        if (! a1.unify(a9, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of integer(a(8))
        a8 = a8.dereference();

View Full Code Here

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

            return engine.fail();
        }
        //END inline expansion
        a8 = new ListTerm(new VariableTerm(engine), new VariableTerm(engine));
        //START inline expansion of $unify(a(1),a(8))
        if (! a1.unify(a8, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        p1 = new PRED_put_char_2(a6, s11, cont);
        p2 = new PRED_$write_term_list_args_5(a1, s9, new VariableTerm(engine), a5, a6, p1);

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.