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

jp.ac.kobe_u.cs.prolog.lang.Term
The superclass of classes for term structures. The subclasses of Term must override the unify method. @author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0

}


class PRED_system_predicate_1_119 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(setof(A,B,C)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(setof(A,B,C)):-[]
        a1 = a1.dereference();
        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();
        }

View Full Code Here

}


class PRED_system_predicate_1_120 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(current_input(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(current_input(A)):-[]
        a1 = a1.dereference();
        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();
        }

View Full Code Here

}


class PRED_system_predicate_1_121 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(current_output(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(current_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_122 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(set_input(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(set_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_123 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(set_output(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(set_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_124 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(open(A,B,C)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(open(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_125 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(open(A,B,C,D)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(open(A,B,C,D)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_126 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(close(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(close(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_127 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(close(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(close(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

View Full Code Here

}


class PRED_system_predicate_1_128 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(flush_output(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(flush_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            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();
        }

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.Term

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_op_3_3

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

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

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

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

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

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

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

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.