Examples of StructureTerm

com.googlecode.prolog_cafe.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

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

            if (! s131.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(s131, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s132.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(s132, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s133.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(s133, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s134.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(s134, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s135.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(s135, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s136.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(s136, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s145.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(s145, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s146.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(s146, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s147.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(s147, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

            if (! s148.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(s148, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

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.