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

jp.ac.kobe_u.cs.prolog.lang.ListTerm

List.
The class ListTerm represents a list structure.

 % [1,2] Term Nil = SymbolTerm.makeSymbol("[]"); Term  n1 = IntegerTerm(1); Term  n2 = IntegerTerm(2); Term   t = new ListTerm(n1, new ListTerm(n2, Nil)); Term car = ((ListTerm)t).car(); Term cdr = ((ListTerm)t).cdr();

Here is sample program for creating a list from 1 to n.

 public static Term makeList(int n) { Term t = SymbolTerm.makeSymbol("[]"); for (int i = n; i > 0; i--) { t = new ListTerm(new IntegerTerm(i), t); } return t; }

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

            a2 = args[0];
            a3 = args[1];
        } else if (a1.isVariable()){
            a2 = new VariableTerm(engine);
            a3 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(a2, a3), engine.trail);
        } else {
            return engine.fail();
        }
        Term[] y1 = {a2};
        a4 = new StructureTerm(s4, y1);

View Full Code Here

            if (! s2.unify(args[0], engine.trail))
                return engine.fail();
            a5 = args[1];
        } else if (a1.isVariable()){
            a5 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(s2, 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();
        }
        a4 = a4.dereference();
        if (a4.isList()){
            Term[] args = {((ListTerm)a4).car(), ((ListTerm)a4).cdr()};
            a8 = args[0];
            a9 = args[1];
        } else if (a4.isVariable()){
            a8 = new VariableTerm(engine);
            a9 = new VariableTerm(engine);
            ((VariableTerm) a4).bind(new ListTerm(a8, a9), engine.trail);
        } else {
            return engine.fail();
        }
        a8 = a8.dereference();
        if (a8.isStructure()){

View Full Code Here

        if (a1.isList()){
            Term[] args = {((ListTerm)a1).car(), ((ListTerm)a1).cdr()};
            a5 = args[1];
        } else if (a1.isVariable()){
            a5 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(new VariableTerm(engine), 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();
        }
        a4 = a4.dereference();
        if (a4.isList()){
            Term[] args = {((ListTerm)a4).car(), ((ListTerm)a4).cdr()};
            if (! a6.unify(args[0], engine.trail))
                return engine.fail();
            a8 = args[1];
        } else if (a4.isVariable()){
            a8 = new VariableTerm(engine);
            ((VariableTerm) a4).bind(new ListTerm(a6, a8), engine.trail);
        } else {
            return engine.fail();
        }
        engine.aregs[1] = a5;
        engine.aregs[2] = a7;

View Full Code Here

            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();
        }
        a6 = new ListTerm(a4, a2);
        engine.aregs[1] = a5;
        engine.aregs[2] = a6;
        engine.aregs[3] = a3;
        engine.cont = cont;
        return _$builtin_reverse_3_top;

View Full Code Here

        a8 = new StructureTerm(s1, y2);
        Term[] y3 = {a4, a5};
        a9 = new StructureTerm(s2, y3);
        Term[] y4 = {a2, a9};
        a10 = new StructureTerm(s1, y4);
        a11 = new ListTerm(a10, s13);
        a12 = new ListTerm(s6, a11);
        p1 = new PRED_$cut_1(a6, cont);
        p2 = new PRED_print_message_2(s5, a12, p1);
        return new PRED_clause_2(a8, new VariableTerm(engine), p2);
    }

View Full Code Here

        a11 = new StructureTerm(s1, y5);
        Term[] y6 = {a4, a5};
        a12 = new StructureTerm(s2, y6);
        Term[] y7 = {a2, a12};
        a13 = new StructureTerm(s1, y7);
        a14 = new ListTerm(a13, s15);
        a15 = new ListTerm(s6, a14);
        p1 = new PRED_$cut_1(a6, cont);
        p2 = new PRED_print_message_2(s5, a15, p1);
        p3 = new PRED_assertz_1(a11, p2);
        return new PRED_clause_2(a9, new VariableTerm(engine), p3);
    }

View Full Code Here

        }
        Term[] y1 = {a4, a5};
        a6 = new StructureTerm(s2, y1);
        Term[] y2 = {a2, a6};
        a7 = new StructureTerm(s1, y2);
        a8 = new ListTerm(a7, s10);
        a9 = new ListTerm(s21, a8);
        a10 = new ListTerm(s20, a9);
        a11 = new ListTerm(s19, a10);
        a12 = new ListTerm(s18, a11);
        a13 = new ListTerm(s17, a12);
        return new PRED_print_message_2(s16, a13, cont);
    }

View Full Code Here

            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_adda_all_3(a5, a2, a3, cont);
        return new PRED_$hash_adda_3(a2, a4, a3, p1);

View Full Code Here

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

View Full Code Here

            a6 = args[0];
            a7 = args[1];
        } else if (a1.isVariable()){
            a6 = new VariableTerm(engine);
            a7 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(a6, a7), engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
        if (a2.isList()){
            Term[] args = {((ListTerm)a2).car(), ((ListTerm)a2).cdr()};
            a8 = args[0];
            a9 = args[1];
        } else if (a2.isVariable()){
            a8 = new VariableTerm(engine);
            a9 = new VariableTerm(engine);
            ((VariableTerm) a2).bind(new ListTerm(a8, a9), engine.trail);
        } else {
            return engine.fail();
        }
        a3 = a3.dereference();
        if (a3.isList()){
            Term[] args = {((ListTerm)a3).car(), ((ListTerm)a3).cdr()};
            a10 = args[0];
            a11 = args[1];
        } else if (a3.isVariable()){
            a10 = new VariableTerm(engine);
            a11 = new VariableTerm(engine);
            ((VariableTerm) a3).bind(new ListTerm(a10, a11), engine.trail);
        } else {
            return engine.fail();
        }
        //START inline expansion of $neck_cut
        engine.neckCut();

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.ListTerm

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

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

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

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

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

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_33_builtins$002Epl_3_2

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_4_builtins$002Epl_9_1

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

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

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

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.