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

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

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

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

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.