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

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

5463
5464
5465
5466
5467
5468
5469
5470
5471
5472
5473
        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()){
View Full Code Here
5486
5487
5488
5489
5490
5491
5492
5493
5494
5495
5496
        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()){
View Full Code Here
5509
5510
5511
5512
5513
5514
5515
5516
5517
5518
5519
        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()){
View Full Code Here
5532
5533
5534
5535
5536
5537
5538
5539
5540
5541
5542
        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()){
View Full Code Here
5555
5556
5557
5558
5559
5560
5561
5562
5563
5564
5565
        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()){
View Full Code Here
5578
5579
5580
5581
5582
5583
5584
5585
5586
5587
5588
        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()){
View Full Code Here
5806
5807
5808
5809
5810
5811
5812
5813
5814
5815
5816
        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()){
View Full Code Here
5829
5830
5831
5832
5833
5834
5835
5836
5837
5838
5839
        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()){
View Full Code Here
5852
5853
5854
5855
5856
5857
5858
5859
5860
5861
5862
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s147.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5875
5876
5877
5878
5879
5880
5881
5882
5883
5884
5885
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s148.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.