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_129 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(flush_output):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(flush_output):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s129))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s129, engine.trail);
        } else {
            return engine.fail();
        }
        return cont;

View Full Code Here

}


class PRED_system_predicate_1_130 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(stream_property(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(stream_property(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s130.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(s130, args), engine.trail);
        } else {
            return engine.fail();
        }

View Full Code Here

}


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

View Full Code Here

}


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

View Full Code Here

}


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

View Full Code Here

}


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

View Full Code Here

}


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

View Full Code Here

}


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

View Full Code Here

}


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

View Full Code Here

}


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

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.