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

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

5235
5236
5237
5238
5239
5240
5241
5242
5243
5244
5245
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(current_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s120.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5258
5259
5260
5261
5262
5263
5264
5265
5266
5267
5268
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(current_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s121.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5281
5282
5283
5284
5285
5286
5287
5288
5289
5290
5291
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(set_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s122.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5304
5305
5306
5307
5308
5309
5310
5311
5312
5313
5314
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(set_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s123.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5327
5328
5329
5330
5331
5332
5333
5334
5335
5336
5337
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(open(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s124.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5350
5351
5352
5353
5354
5355
5356
5357
5358
5359
5360
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(open(A,B,C,D)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s125.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5373
5374
5375
5376
5377
5378
5379
5380
5381
5382
5383
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(close(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s126.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5396
5397
5398
5399
5400
5401
5402
5403
5404
5405
5406
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(close(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s127.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5419
5420
5421
5422
5423
5424
5425
5426
5427
5428
5429
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(flush_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s128.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
5442
5443
5444
5445
5446
5447
5448
5449
5450
5451
5452
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(flush_output):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s129))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s129, engine.trail);
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.