Examples of jp.ac.kobe_u.cs.prolog.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

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

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

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

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

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

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

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

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

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

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

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.VariableTerm

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_2

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_operators_3_2

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_11

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_12

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_9

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_30_builtins$002Epl_6_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_31_builtins$002Epl_5_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_4_builtins$002Epl_9_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$hash_addz_all_3_2

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.