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

Examples of jp.ac.kobe_u.cs.prolog.lang.Term

115
116
117
118
119
120
121
122
123
124
125
}

class PRED_$map_compare_op_2_2 extends PRED_$map_compare_op_2 {
    public Predicate exec(Prolog engine) {
    // '$map_compare_op'(A,B):-A<0,!,B= <
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$map_compare_op'(A,B):-['$get_level'(C),'$less_than'(A,0),'$cut'(C),'$unify'(B,<)]
View Full Code Here
157
158
159
160
161
162
163
164
165
166
167
}

class PRED_$map_compare_op_2_3 extends PRED_$map_compare_op_2 {
    public Predicate exec(Prolog engine) {
    // '$map_compare_op'(A,B):-A>0,!,B= >
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$map_compare_op'(A,B):-['$get_level'(C),'$greater_than'(A,0),'$cut'(C),'$unify'(B,>)]
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
    }

    public Predicate exec(Prolog engine) {
    // '$parse_tokens_peep_next'(A,B,B):-B=[A|C]
        engine.setB0();
        Term a1, a2, a3, a4;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // '$parse_tokens_peep_next'(A,B,B):-['$unify'(B,[A|C])]
        if (! a2.unify(a3, engine.trail))
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
}

class PRED_$parse_tokens_post_in_ops_7_1 extends PRED_$parse_tokens_post_in_ops_7 {
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_post_in_ops'(A,B,C,D,E,F,G):-'$parse_tokens_skip_spaces'(F,H),'C'(H,I,J),'$parse_tokens_op'(I,A,B,C,K,L,J,M),'$parse_tokens_post_in_ops'(A,K,L,D,E,M,G)
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13;
        Predicate p1, p2, p3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
}

class PRED_$parse_tokens_post_in_ops_7_2 extends PRED_$parse_tokens_post_in_ops_7 {
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_post_in_ops'(A,B,C,B,C,D,E):-C=<A,E=D
        Term a1, a2, a3, a4, a5, a6, a7;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
}

class PRED_$process_order_2_1 extends PRED_$process_order_2 {
    public Predicate exec(Prolog engine) {
    // '$process_order'(A,B):-var(A),!,illarg(var,(?-A),1)
        Term a1, a2, a3, a4;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$process_order'(A,B):-['$get_level'(C),var(A),'$cut'(C),illarg(var,(?-A),1)]
        a3 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(3))
        if (! a3.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of var(a(1))
        a1 = a1.dereference();
        if (! a1.isVariable()) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of $cut(a(3))
        a3 = a3.dereference();
View Full Code Here
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
}

class PRED_$builtin_meta_predicates_3_4 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(\+,1,[:]):-true
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(\+,1,[:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s11))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s11, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
}

class PRED_$builtin_meta_predicates_3_5 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(findall,3,[?,:,?]):-true
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(findall,3,[?,:,?]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s12))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s12, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
}

class PRED_$builtin_meta_predicates_3_6 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(setof,3,[?,:,?]):-true
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(setof,3,[?,:,?]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s17))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s17, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
}

class PRED_$builtin_meta_predicates_3_7 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(bagof,3,[?,:,?]):-true
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(bagof,3,[?,:,?]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s18))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s18, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.Term

  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_4
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$op_atom_list_2_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$op_atom_list_2_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$op_atom_list_2_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_tokens1_5_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_tokens1_5_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_tokens1_5_3
    • Copyright © 2018 www.massapicom. 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.