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

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

274
275
276
277
278
279
280
281
282
283
284
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$process_order'(A,B):-['$get_level'(C),current_prolog_flag(debug,D),'$dummy_26_builtins.pl'(A,D),nl,'$rm_redundant_vars'(B,E),'$give_answers_with_prompt'(E),'$cut'(C),'$fast_write'(yes),nl]
        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
        a4 = new VariableTerm(engine);
        a5 = new VariableTerm(engine);
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'(A,B):-['$get_level'(C),var(A),'$cut'(C),'$unify'(A,B)]
        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();
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
        } else {
            return engine.fail();
        }
        a9 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(9))
        if (! a9.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of nonvar(a(3))
        a3 = a3.dereference();
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
        } else {
            return engine.fail();
        }
        a8 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(8))
        if (! a8.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        Term[] y1 = {a3, a6, a7};
        a9 = new StructureTerm(s4, y1);
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
        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);
        //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 $arith_equal(a(1),si(1))
        try {
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
        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);
        //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 $less_than(a(1),si(1))
        try {
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
        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);
        //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 $greater_than(a(1),si(1))
        try {
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
        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();
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
        a2 = engine.aregs[2];
        cont = engine.cont;
    // set_prolog_flag(A,B):-['$get_level'(C),var(A),'$cut'(C),illarg(var,set_prolog_flag(A,B),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();
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
        a2 = engine.aregs[2];
        cont = engine.cont;
    // set_prolog_flag(A,B):-['$get_level'(C),var(B),'$cut'(C),illarg(var,set_prolog_flag(A,B),2)]
        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(2))
        a2 = a2.dereference();
View Full Code Here
TOP

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

  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_connect_3_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_expansion_2_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_expansion_2_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dcg_translate_dcg_5_11
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_12_builtins$002Epl_3_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_18_builtins$002Epl_1_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_26_builtins$002Epl_2_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_29_builtins$002Epl_5_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$dummy_30_builtins$002Epl_6_1
    • 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.