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

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

6266
6267
6268
6269
6270
6271
6272
6273
6274
6275
6276
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read_line(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s165.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5967
5968
5969
5970
5971
5972
5973
5974
5975
5976
5977
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(tab(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s152.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5990
5991
5992
5993
5994
5995
5996
5997
5998
5999
6000
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(skip(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s153.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6013
6014
6015
6016
6017
6018
6019
6020
6021
6022
6023
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(skip(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s154.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6036
6037
6038
6039
6040
6041
6042
6043
6044
6045
6046
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get_byte(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s155.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6059
6060
6061
6062
6063
6064
6065
6066
6067
6068
6069
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get_byte(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s156.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
6082
6083
6084
6085
6086
6087
6088
6089
6090
6091
6092
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_byte(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s157.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
4936
4937
4938
4939
4940
4941
4942
4943
4944
4945
4946
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate('$greater_or_equal'(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s107.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
4959
4960
4961
4962
4963
4964
4965
4966
4967
4968
4969
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(clause(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s108.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
4982
4983
4984
4985
4986
4987
4988
4989
4990
4991
4992
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(initialization(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s109.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.