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

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

82
83
84
85
86
87
88
89
90
91
92
}

class PRED_$dummy_4_builtins$002Epl_9_1 extends PRED_$dummy_4_builtins$002Epl_9 {
    public Predicate exec(Prolog engine) {
    // '$dummy_4_builtins.pl'(A,B,C,D,E,F,G,H,I):-G= <,!,E=B,'$merge'(C,[A|I],F,D,H)
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
}

class PRED_$dummy_4_builtins$002Epl_9_2 extends PRED_$dummy_4_builtins$002Epl_9 {
    public Predicate exec(Prolog engine) {
    // '$dummy_4_builtins.pl'(A,B,C,D,E,F,G,H,I):-'$dummy_5_builtins.pl'(A,G,E,D,B,C,H,F,I)
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
    }

    public Predicate exec(Prolog engine) {
    // read_tokens(A,B,C):-'$read_tokens'(A,B,C,[]),!
        engine.setB0();
        Term a1, a2, a3, a4;
        Predicate p1;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // read_tokens(A,B,C):-['$get_level'(D),'$read_tokens'(A,B,C,[]),'$cut'(D)]
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
    }

    public Predicate exec(Prolog engine) {
    // skip(A):-current_input(B),skip(B,A)
        engine.setB0();
        Term a1, a2;
        Predicate p1;
        a1 = arg1;
    // skip(A):-[current_input(B),skip(B,A)]
        a2 = new VariableTerm(engine);
        p1 = new PRED_skip_2(a2, a1, cont);
View Full Code Here
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
}

class PRED_$builtin_meta_predicates_3_1 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(^,2,[?,:]):-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'(^,2,[?,:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s1))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s1, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
}

class PRED_$builtin_meta_predicates_3_2 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(call,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'(call,1,[:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s8))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s8, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
}

class PRED_$builtin_meta_predicates_3_3 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(once,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'(once,1,[:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s10))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s10, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
}

class PRED_$dummy_30_builtins$002Epl_6_1 extends PRED_$dummy_30_builtins$002Epl_6 {
    public Predicate exec(Prolog engine) {
    // '$dummy_30_builtins.pl'(A,B,C,D,E,F):-'$match_type'(D,A),!,E=domain_error(F,B,C,A)
        Term a1, a2, a3, a4, a5, a6, a7, a8;
        Predicate p1, p2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
}

class PRED_$dummy_30_builtins$002Epl_6_2 extends PRED_$dummy_30_builtins$002Epl_6 {
    public Predicate exec(Prolog engine) {
    // '$dummy_30_builtins.pl'(A,B,C,D,E,F):-'$dummy_31_builtins.pl'(B,D,E,F,A)
        Term a1, a2, a3, a4, a5, a6;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
    }

    public Predicate exec(Prolog engine) {
    // write_term(A,B):-current_output(C),write_term(C,A,B)
        engine.setB0();
        Term a1, a2, a3;
        Predicate p1;
        a1 = arg1;
        a2 = arg2;
    // write_term(A,B):-[current_output(C),write_term(C,A,B)]
        a3 = new VariableTerm(engine);
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.