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

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

241
242
243
244
245
246
247
248
249
250
251
        } else {
            return engine.fail();
        }
        a13 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(13))
        if (! a13.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        p1 = new PRED_$variants_subset_5(a7, a2, a11, a12, a5, cont);
        p2 = new PRED_$cut_1(a13, p1);
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
        } else {
            return engine.fail();
        }
        a4 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(4))
        if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        a5 = new ListTerm(a2, s1);
        //START inline expansion of $unify(a(5),s(3))
View Full Code Here
556
557
558
559
560
561
562
563
564
565
566
        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$parse_tokens_before_op'(A,B,C,D,E):-['$get_level'(F),'C'(D,atom(G),H),current_op(C,fx,G),'$less_or_equal'(C,A),'$parse_tokens_skip_spaces'(H,I),'$parse_tokens_peep_next'(J,I,K),'$parse_tokens_is_starter'(J),'$dummy_14_builtins.pl'(J),'$cut'(F),'$minus'(C,1,L),'$parse_tokens'(M,L,K,E),functor(B,G,1),arg(1,B,M)]
        a6 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(6))
        if (! a6.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        a7 = new VariableTerm(engine);
        Term[] y1 = {a7};
View Full Code Here
599
600
601
602
603
604
605
606
607
608
609
        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$parse_tokens_before_op'(A,B,C,D,E):-['$get_level'(F),'C'(D,atom(G),H),current_op(C,fy,G),'$less_or_equal'(C,A),'$parse_tokens_skip_spaces'(H,I),'$parse_tokens_peep_next'(J,I,K),'$parse_tokens_is_starter'(J),'$dummy_15_builtins.pl'(J),'$cut'(F),'$parse_tokens'(L,C,K,E),functor(B,G,1),arg(1,B,L)]
        a6 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(6))
        if (! a6.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        a7 = new VariableTerm(engine);
        Term[] y1 = {a7};
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
        a1 = engine.aregs[1];
        cont = engine.cont;
    // '$dummy_7_builtins.pl'(A):-['$get_level'(B),atom(A),'$cut'(B),fail]
        a2 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(2))
        if (! a2.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of atom(a(1))
        a1 = a1.dereference();
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
        a4 = engine.aregs[4];
        cont = engine.cont;
    // '$dummy_3_builtins.pl'(A,B,C,D):-['$get_level'(E),'$meta_call'(C,D,no,A,B),'$cut'(E),fail]
        a5 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(5))
        if (! a5.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        p1 = new PRED_fail_0(cont);
        p2 = new PRED_$cut_1(a5, p1);
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$parse_tokens_expect'(A,B,C):-['$get_level'(D),'$parse_tokens_skip_spaces'(B,E),'C'(E,A,C),'$cut'(D)]
        a4 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(4))
        if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        a5 = new VariableTerm(engine);
        p1 = new PRED_$cut_1(a4, cont);
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
        a7 = engine.aregs[7];
        cont = engine.cont;
    // '$dummy_0_builtins.pl'(A,B,C,D,E,F,G):-['$get_level'(H),'$meta_call'(F,G,no,D,B),'$cut'(H),'$meta_call'(A,G,C,D,B)]
        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
        p1 = new PRED_$meta_call_5(a1, a7, a3, a4, a2, cont);
        p2 = new PRED_$cut_1(a8, p1);
View Full Code Here
241
242
243
244
245
246
247
248
249
250
251
    // '$existential_variables_set'(A,B,B):-['$get_level'(C),var(A),'$cut'(C)]
        if (! a2.unify(a3, engine.trail))
            return engine.fail();
        a4 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(4))
        if (! a4.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
277
278
279
280
281
282
283
284
285
286
287
    // '$existential_variables_set'(A,B,B):-['$get_level'(C),atomic(A),'$cut'(C)]
        if (! a2.unify(a3, engine.trail))
            return engine.fail();
        a4 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(4))
        if (! a4.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of atomic(a(1))
        a1 = a1.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.