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 (! 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

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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

View Full Code Here

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

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