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

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

162
163
164
165
166
167
168
169
170
171
172
        a2 = engine.aregs[2];
        cont = engine.cont;
    // set_prolog_flag(A,B):-['$get_level'(C),atom(A),'$cut'(C),'$set_prolog_flag0'(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 atom(a(1))
        a1 = a1.dereference();
View Full Code Here
97
98
99
100
101
102
103
104
105
106
107
        a9 = engine.aregs[9];
        cont = engine.cont;
    // '$dummy_4_builtins.pl'(A,B,C,D,E,F,G,H,I):-['$get_level'(J),'$unify'(G,<),'$cut'(J),'$unify'(E,B),'$merge'(C,[A|I],F,D,H)]
        a10 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(10))
        if (! a10.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of $unify(a(7),s(1))
        if (! a7.unify(s1, engine.trail)) {
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
        a2 = arg2;
        a3 = arg3;
    // read_tokens(A,B,C):-['$get_level'(D),'$read_tokens'(A,B,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
        p1 = new PRED_$cut_1(a4, cont);
        return new PRED_$read_tokens_4(a1, a2, a3, s1, p1);
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
        a6 = engine.aregs[6];
        cont = engine.cont;
    // '$dummy_30_builtins.pl'(A,B,C,D,E,F):-['$get_level'(G),'$match_type'(D,A),'$cut'(G),'$unify'(E,domain_error(F,B,C,A))]
        a7 = new VariableTerm(engine);
        //START inline expansion of $get_level(a(7))
        if (! a7.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        Term[] y1 = {a6, a2, a3, a1};
        a8 = new StructureTerm(s1, y1);
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dummy_26_builtins.pl'(A,B):-['$get_level'(C),'$equality_of_term'(B,off),'$cut'(C),call(user:A)]
        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 $equality_of_term(a(2),s(1))
        a2 = a2.dereference();
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
        a3 = arg3;
        a4 = arg4;
    // '$parse_tokens'(A,B,C,D):-['$get_level'(E),'$parse_tokens_skip_spaces'(C,F),'$parse_tokens1'(B,G,H,F,I),'$cut'(E),'$parse_tokens_skip_spaces'(I,J),'$parse_tokens2'(B,G,H,A,K,J,D),'$cut'(E)]
        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
        a6 = new VariableTerm(engine);
        a7 = new VariableTerm(engine);
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
        a5 = engine.aregs[5];
        cont = engine.cont;
    // '$dummy_31_builtins.pl'(A,B,C,D,E):-['$get_level'(F),nonvar(E),'$cut'(F),'$unify'(C,type_error(D,A,B,E))]
        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
        //START inline expansion of nonvar(a(5))
        a5 = a5.dereference();
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
        } 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
        //START inline expansion of $equality_of_term(a(3),a(6))
        a3 = a3.dereference();
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$parse_tokens_skip_spaces'(A,B):-['$get_level'(C),'C'(A,' ',D),'$cut'(C),'$parse_tokens_skip_spaces'(D,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
        a4 = new VariableTerm(engine);
        p1 = new PRED_$parse_tokens_skip_spaces_2(a4, a2, cont);
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
        a5 = engine.aregs[5];
        cont = engine.cont;
    // print_procedure_box(A,B,C,D,E):-['$get_level'(F),clause('jp.ac.kobe_u.cs.prolog.builtin':'$leap_flag'(no),G),'$cut'(F),'$builtin_message'([' ',E,A,:,C:B]),'$dummy_27_builtins.pl'(B,E,C,H,A,D)]
        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
        Term[] y1 = {a3, a2};
        a7 = new StructureTerm(s2, y1);
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.