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

            if (! s23.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s23, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s24.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s24, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s25.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s25, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s26.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s26, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s13.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine), new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s13, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s14.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s14, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s15.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine), new VariableTerm(engine), new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s15, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s16.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s16, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s17.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine), new VariableTerm(engine), new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s17, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

            if (! s18.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
            Term[] args = {new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s18, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

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.