Examples of VariableTerm

com.googlecode.prolog_cafe.lang.VariableTerm
jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Variable.
The VariableTerm class represents a logical variable.
For example,
```
 Term t = new VariableTerm(); 
```
@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.VariableTerm

        engine.setB0();
        Term a1, a2;
        Predicate p1;
        a1 = arg1;
    // get_char(A):-[current_input(B),get_char(B,A)]
        a2 = new VariableTerm(engine);
        p1 = new PRED_get_char_2(a2, a1, cont);
        return new PRED_current_input_1(a2, p1);
    }

View Full Code Here

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

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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.VariableTerm

        if (a1.isStructure()){
            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

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.