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()

  public Predicate exec(Prolog engine) {
    engine.setB0();
    Term a1;
    a1 = arg1;


    if (!a1.unify(new JavaObjectTerm(this), engine.trail)) {
      return engine.fail();
    }
    Predicate code = cont;
    int B = engine.stack.top();
    outOfScope = false;

View Full Code Here

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

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

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;
    // '$prolog_file_name'(A,A):-['$get_level'(B),sub_atom(A,C,D,E,'.'),'$greater_than'(E,0),'$cut'(B)]
        if (! a1.unify(a2, engine.trail))
            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();

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.