Package jp.ac.kobe_u.cs.prolog.lang

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

5898
5899
5900
5901
5902
5903
5904
5905
5906
5907
5908
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s149.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5921
5922
5923
5924
5925
5926
5927
5928
5929
5930
5931
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s150.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5944
5945
5946
5947
5948
5949
5950
5951
5952
5953
5954
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(tab(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s151.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6105
6106
6107
6108
6109
6110
6111
6112
6113
6114
6115
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_byte(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s158.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6128
6129
6130
6131
6132
6133
6134
6135
6136
6137
6138
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_byte(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s159.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6151
6152
6153
6154
6155
6156
6157
6158
6159
6160
6161
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_byte(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s160.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6174
6175
6176
6177
6178
6179
6180
6181
6182
6183
6184
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s161.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6197
6198
6199
6200
6201
6202
6203
6204
6205
6206
6207
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s162.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6220
6221
6222
6223
6224
6225
6226
6227
6228
6229
6230
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read_with_variables(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s163.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6243
6244
6245
6246
6247
6248
6249
6250
6251
6252
6253
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read_with_variables(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s164.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.