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

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

5624
5625
5626
5627
5628
5629
5630
5631
5632
5633
5634
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s137.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5647
5648
5649
5650
5651
5652
5653
5654
5655
5656
5657
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s138.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5670
5671
5672
5673
5674
5675
5676
5677
5678
5679
5680
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_char(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s139.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5693
5694
5695
5696
5697
5698
5699
5700
5701
5702
5703
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_char(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s140.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5716
5717
5718
5719
5720
5721
5722
5723
5724
5725
5726
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s141.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5739
5740
5741
5742
5743
5744
5745
5746
5747
5748
5749
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s142.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5762
5763
5764
5765
5766
5767
5768
5769
5770
5771
5772
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(nl):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s143))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s143, engine.trail);
View Full Code Here
5783
5784
5785
5786
5787
5788
5789
5790
5791
5792
5793
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(nl(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s144.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5189
5190
5191
5192
5193
5194
5195
5196
5197
5198
5199
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(bagof(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s118.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5212
5213
5214
5215
5216
5217
5218
5219
5220
5221
5222
        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()){
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.