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

jp.ac.kobe_u.cs.prolog.lang.StructureTerm

Compound term.
The StructureTerm class represents a compound term but list.

 % father(abraham, X) Term a1 = SymbolTerm.makeSymbol("abraham"); Term a2 = new VariableTerm(); Term[] a3 = {a1, a2}; Term a4 = SymbolTerm.makeSymbol("father", 2); Term  t = new StructureTerm(a4, a3); Term functor = ((StructureTerm)t).functor(); Term[]  args = ((StructureTerm)t).args(); int    arity = ((StructureTerm)t).arity();

@author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dummy_26_builtins.pl'(A,B):-['$trace_goal'(user:A)]
        Term[] y1 = {s3, a1};
        a3 = new StructureTerm(s2, y1);
        return new PRED_$trace_goal_1(a3, cont);
    }

View Full Code Here

                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();
        }
        p1 = new PRED_hash_map_3(a5, a7, a3, cont);
        return new PRED_hash_get_3(a3, a4, a8, p1);

View Full Code Here

        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};
        a10 = new StructureTerm(s1, y7);
        p1 = new PRED_fail_0(cont);
        p2 = new PRED_abolish_1(a10, p1);
        p3 = new PRED_retract_1(a9, p2);
        p4 = new PRED_retractall_1(a5, p3);
        return new PRED_retractall_1(a3, p4);

View Full Code Here

        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // '$consult_init'(A):-[assertz('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_file'(A)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_package'(user))]
        Term[] y1 = {a1};
        a2 = new StructureTerm(s3, y1);
        Term[] y2 = {s2, a2};
        a3 = new StructureTerm(s1, y2);
        p1 = new PRED_assertz_1(s10, cont);
        return new PRED_assertz_1(a3, p1);
    }

View Full Code Here

        } else {
            engine.cut(((IntegerTerm) a6).intValue());
        }
        //END inline expansion
        Term[] y1 = {a4, a1, a2, a5};
        a7 = new StructureTerm(s1, y1);
        //START inline expansion of $unify(a(3),a(7))
        if (! a3.unify(a7, engine.trail)) {
            return engine.fail();
        }
        //END inline expansion

View Full Code Here

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

View Full Code Here

            a4 = args[1];
        } else if (a1.isVariable()){
            a3 = new VariableTerm(engine);
            a4 = new VariableTerm(engine);
            Term[] args = {a3, a4};
            ((VariableTerm) a1).bind(new StructureTerm(s1, args), engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
        if (a2.isList()){
            Term[] args = {((ListTerm)a2).car(), ((ListTerm)a2).cdr()};
            a5 = args[0];
        } else if (a2.isVariable()){
            a5 = new VariableTerm(engine);
            ((VariableTerm) a2).bind(new ListTerm(a5, new VariableTerm(engine)), engine.trail);
        } else {
            return engine.fail();
        }
        a5 = a5.dereference();
        if (a5.isStructure()){
            if (! s1.equals(((StructureTerm)a5).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a5).args();
            a6 = args[0];
            a7 = args[1];
        } else if (a5.isVariable()){
            a6 = new VariableTerm(engine);
            a7 = new VariableTerm(engine);
            Term[] args = {a6, a7};
            ((VariableTerm) a5).bind(new StructureTerm(s1, args), engine.trail);
        } else {
            return engine.fail();
        }
        a8 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(8))

View Full Code Here

        a2 = arg2;
        a3 = arg3;
    // '$parse_tokens_error'(A,B,C):-[write('{SYNTAX ERROR}'),nl,write('** '),'$parse_tokens_write_message'(A),write(' **'),nl,'$parse_tokens_error1'([],B),clause('jp.ac.kobe_u.cs.prolog.builtin':'$tokens'(D),E),'$parse_tokens_error1'(D,B),fail]
        a4 = new VariableTerm(engine);
        Term[] y1 = {a4};
        a5 = new StructureTerm(s7, y1);
        Term[] y2 = {s6, a5};
        a6 = new StructureTerm(s5, y2);
        p1 = new PRED_fail_0(cont);
        p2 = new PRED_$parse_tokens_error1_2(a4, a2, p1);
        p3 = new PRED_clause_2(a6, new VariableTerm(engine), p2);
        p4 = new PRED_$parse_tokens_error1_2(s4, a2, p3);
        p5 = new PRED_nl_0(p4);

View Full Code Here

            a7 = args[1];
        } else if (a4.isVariable()){
            a6 = new VariableTerm(engine);
            a7 = new VariableTerm(engine);
            Term[] args = {a6, a7};
            ((VariableTerm) a4).bind(new StructureTerm(s1, args), engine.trail);
        } else {
            return engine.fail();
        }
        a8 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(8))
        if (! a8.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        Term[] y1 = {a3, a6, a7};
        a9 = new StructureTerm(s4, y1);
        Term[] y2 = {s3, a9};
        a10 = new StructureTerm(s2, y2);
        Term[] y3 = {a3, a2};
        a11 = new StructureTerm(s2, y3);
        a12 = new ListTerm(a11, s7);
        a13 = new ListTerm(s6, a12);
        a14 = new ListTerm(a1, a13);
        a15 = new ListTerm(a5, a14);
        a16 = new ListTerm(s5, a15);
        Term[] y4 = {a6, a7};
        a17 = new StructureTerm(s1, y4);
        Term[] y5 = {a1, a2, a3, a17, a5};
        a18 = new StructureTerm(s8, y5);
        p1 = new PRED_$read_blocked_1(a18, cont);
        p2 = new PRED_$builtin_message_1(a16, p1);
        p3 = new PRED_$cut_1(a8, p2);
        return new PRED_clause_2(a10, new VariableTerm(engine), p3);
    }

View Full Code Here

        if (! a6.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        Term[] y1 = {a3, a2};
        a7 = new StructureTerm(s2, y1);
        a8 = new ListTerm(a7, s7);
        a9 = new ListTerm(s6, a8);
        a10 = new ListTerm(a1, a9);
        a11 = new ListTerm(a5, a10);
        a12 = new ListTerm(s15, a11);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.StructureTerm

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_2

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_4

org.cspoker.ai.opponentmodels.prolog.ToPrologTermVisitor

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.