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

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

5005
5006
5007
5008
5009
5010
5011
5012
5013
5014
5015
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate('$new_indexing_hash'(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s110.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5028
5029
5030
5031
5032
5033
5034
5035
5036
5037
5038
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(assert(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s111.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5051
5052
5053
5054
5055
5056
5057
5058
5059
5060
5061
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(assertz(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s112.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5074
5075
5076
5077
5078
5079
5080
5081
5082
5083
5084
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(asserta(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s113.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5097
5098
5099
5100
5101
5102
5103
5104
5105
5106
5107
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(retract(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s114.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5120
5121
5122
5123
5124
5125
5126
5127
5128
5129
5130
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(abolish(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s115.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5143
5144
5145
5146
5147
5148
5149
5150
5151
5152
5153
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(retractall(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s116.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5166
5167
5168
5169
5170
5171
5172
5173
5174
5175
5176
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(findall(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s117.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2935
2936
2937
2938
2939
2940
2941
2942
2943
2944
2945
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate('$unify'(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s20.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2958
2959
2960
2961
2962
2963
2964
2965
2966
2967
2968
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(A\=B):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s21.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.