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.

        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

        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

            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

        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

        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

        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

        //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

            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

        //END inline expansion
        a8 = new VariableTerm(engine);
        Term[] y1 = {a8};
        a9 = new StructureTerm(s12, y1);
        //START inline expansion of $unify(a(1),a(9))
        if (! a1.unify(a9, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        p1 = new PRED_put_char_2(a6, s15, cont);
        p2 = new PRED_$write_term0_6(a8, si14, s9, new VariableTerm(engine), a5, a6, p1);

View Full Code Here

        Term a1, a2, a3, a4, a5, a6, a7;
        Predicate p1, p2, p3, p4, p5, p6, p7, p8;
    // cafeteria:-['$get_level'(A),'$cafeteria_init',repeat,'$toplvel_loop',on_exception(B,'jp.ac.kobe_u.cs.prolog.builtin':'$cafeteria'(C),'jp.ac.kobe_u.cs.prolog.builtin':print_message(error,B)),'$equality_of_term'(C,end_of_file),'$cut'(A),nl,'$fast_write'(bye),nl]
        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
        a2 = new VariableTerm(engine);
        a3 = new VariableTerm(engine);

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.