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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

            if (! s125.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), new VariableTerm(engine)};
            ((VariableTerm) a1).bind(new StructureTerm(s125, args), engine.trail);
        } else {
            return engine.fail();
        }
        return cont;
    }

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

            if (! s130.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(s130, 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.