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

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

74
75
76
77
78
79
80
81
82
83
84
class PRED_$map_compare_op_2_1 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),'$arith_equal'(A,0),'$cut'(C),'$unify'(B,=)]
        a3 = new VariableTerm(engine);
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
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,<)]
        a3 = new VariableTerm(engine);
View Full Code Here
158
159
160
161
162
163
164
165
166
167
168
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,>)]
        a3 = new VariableTerm(engine);
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
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];
        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
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];
        a5 = engine.aregs[5];
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
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);
View Full Code Here
281
282
283
284
285
286
287
288
289
290
291
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,[:]):-[]
View Full Code Here
315
316
317
318
319
320
321
322
323
324
325
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,[?,:,?]):-[]
View Full Code Here
349
350
351
352
353
354
355
356
357
358
359
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,[?,:,?]):-[]
View Full Code Here
383
384
385
386
387
388
389
390
391
392
393
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,[?,:,?]):-[]
View Full Code Here
TOP

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

  • 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_$builtin_meta_predicates_3_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_4
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_5
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_6
    • 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.