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

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

83
84
85
86
87
88
89
90
91
92
93
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];
        a5 = engine.aregs[5];
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
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];
        a5 = engine.aregs[5];
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
    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)]
        a4 = new VariableTerm(engine);
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
    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);
        return new PRED_current_input_1(a2, p1);
View Full Code Here
179
180
181
182
183
184
185
186
187
188
189
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,[?,:]):-[]
View Full Code Here
213
214
215
216
217
218
219
220
221
222
223
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,[:]):-[]
View Full Code Here
247
248
249
250
251
252
253
254
255
256
257
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,[:]):-[]
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
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];
        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
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];
        a5 = engine.aregs[5];
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    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);
        p1 = new PRED_write_term_3(a3, a1, a2, cont);
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.