Examples of VariableTerm

com.googlecode.prolog_cafe.lang.VariableTerm
jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Variable.
The VariableTerm class represents a logical variable.
For example,
```
 Term t = new VariableTerm(); 
```
@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.VariableTerm

        a7 = engine.aregs[7];
        a8 = engine.aregs[8];
        a9 = engine.aregs[9];
        cont = engine.cont;
    // '$dummy_4_builtins.pl'(A,B,C,D,E,F,G,H,I):-['$get_level'(J),'$unify'(G,<),'$cut'(J),'$unify'(E,B),'$merge'(C,[A|I],F,D,H)]
        a10 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(10))
        if (! a10.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion

View Full Code Here

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

        Predicate p1;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // read_tokens(A,B,C):-['$get_level'(D),'$read_tokens'(A,B,C,[]),'$cut'(D)]
        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

View Full Code Here

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

        engine.setB0();
        Term a1, a2;
        Predicate p1;
        a1 = arg1;
    // skip(A):-[current_input(B),skip(B,A)]
        a2 = new VariableTerm(engine);
        p1 = new PRED_skip_2(a2, a1, cont);
        return new PRED_current_input_1(a2, p1);
    }

View Full Code Here

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

        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
        a6 = engine.aregs[6];
        cont = engine.cont;
    // '$dummy_30_builtins.pl'(A,B,C,D,E,F):-['$get_level'(G),'$match_type'(D,A),'$cut'(G),'$unify'(E,domain_error(F,B,C,A))]
        a7 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(7))
        if (! a7.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion

View Full Code Here

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

        Term a1, a2, a3;
        Predicate p1;
        a1 = arg1;
        a2 = arg2;
    // write_term(A,B):-[current_output(C),write_term(C,A,B)]
        a3 = new VariableTerm(engine);
        p1 = new PRED_write_term_3(a3, a1, a2, cont);
        return new PRED_current_output_1(a3, p1);
    }

View Full Code Here

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

        if (a1.isList()){
            Term[] args = {((ListTerm)a1).car(), ((ListTerm)a1).cdr()};
            a4 = args[0];
            a5 = args[1];
        } else if (a1.isVariable()){
            a4 = new VariableTerm(engine);
            a5 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(a4, a5), engine.trail);
        } else {
            return engine.fail();
        }
        p1 = new PRED_$hash_addz_all_3(a5, a2, a3, cont);

View Full Code Here

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

        Predicate p1, p2, p3, p4, p5;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // java_declared_method(A,B,C):-['$univ'(B,[D|E]),builtin_java_convert_args(E,F),'$univ'(G,[D|F]),java_declared_method0(A,G,H),java_conversion(I,H),'$unify'(C,I)]
        a4 = new VariableTerm(engine);
        a5 = new VariableTerm(engine);
        a6 = new ListTerm(a4, a5);
        a7 = new VariableTerm(engine);
        a8 = new VariableTerm(engine);
        a9 = new ListTerm(a4, a7);
        a10 = new VariableTerm(engine);
        a11 = new VariableTerm(engine);
        p1 = new PRED_$unify_2(a3, a11, cont);
        p2 = new PRED_java_conversion_2(a11, a10, p1);
        p3 = new PRED_java_declared_method0_3(a1, a8, a10, p2);
        p4 = new PRED_$univ_2(a8, a9, p3);
        p5 = new PRED_builtin_java_convert_args_2(a5, a7, p4);

View Full Code Here

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

        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dummy_26_builtins.pl'(A,B):-['$get_level'(C),'$equality_of_term'(B,off),'$cut'(C),call(user:A)]
        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

View Full Code Here

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

        if (a1.isList()){
            Term[] args = {((ListTerm)a1).car(), ((ListTerm)a1).cdr()};
            a4 = args[0];
            a5 = args[1];
        } else if (a1.isVariable()){
            a4 = new VariableTerm(engine);
            a5 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(a4, a5), engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
        if (a2.isList()){
            Term[] args = {((ListTerm)a2).car(), ((ListTerm)a2).cdr()};
            a6 = args[0];
            a7 = args[1];
        } else if (a2.isVariable()){
            a6 = new VariableTerm(engine);
            a7 = new VariableTerm(engine);
            ((VariableTerm) a2).bind(new ListTerm(a6, a7), engine.trail);
        } else {
            return engine.fail();
        }
        a6 = a6.dereference();
        if (a6.isStructure()){
            if (! s2.equals(((StructureTerm)a6).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a6).args();
            if (! a4.unify(args[0], engine.trail))
                return engine.fail();
            a8 = args[1];
        } else if (a6.isVariable()){
            a8 = new VariableTerm(engine);
            Term[] args = {a4, a8};
            ((VariableTerm) a6).bind(new StructureTerm(s2, args), engine.trail);
        } else {
            return engine.fail();
        }

View Full Code Here

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

        Predicate p1, p2, p3, p4;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // '$consult_init'(A):-[retractall('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_file'(B)),retractall('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_package'(C)),retract('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_predicate'(D,E,A)),abolish(D:E),fail]
        Term[] y1 = {new VariableTerm(engine)};
        a2 = new StructureTerm(s3, y1);
        Term[] y2 = {s2, a2};
        a3 = new StructureTerm(s1, y2);
        Term[] y3 = {new VariableTerm(engine)};
        a4 = new StructureTerm(s4, y3);
        Term[] y4 = {s2, a4};
        a5 = new StructureTerm(s1, y4);
        a6 = new VariableTerm(engine);
        a7 = new VariableTerm(engine);
        Term[] y5 = {a6, a7, a1};
        a8 = new StructureTerm(s5, y5);
        Term[] y6 = {s2, a8};
        a9 = new StructureTerm(s1, y6);
        Term[] y7 = {a6, a7};

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.