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

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

44
45
46
47
48
49
50
51
52
53
54
    public Predicate exec(Prolog engine) {
    // '$parse_tokens'(A,B,C,D):-'$parse_tokens_skip_spaces'(C,E),'$parse_tokens1'(B,F,G,E,H),!,'$parse_tokens_skip_spaces'(H,I),'$parse_tokens2'(B,F,G,A,J,I,D),!
        engine.setB0();
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10;
        Predicate p1, p2, p3, p4, p5;
        a1 = arg1;
        a2 = arg2;
        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)]
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
class PRED_$dummy_31_builtins$002Epl_5_1 extends PRED_$dummy_31_builtins$002Epl_5 {
    public Predicate exec(Prolog engine) {
    // '$dummy_31_builtins.pl'(A,B,C,D,E):-nonvar(E),!,C=type_error(D,A,B,E)
        Term a1, a2, a3, a4, a5, a6, a7;
        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
115
116
117
118
119
120
121
122
123
124
125
class PRED_$dummy_31_builtins$002Epl_5_2 extends PRED_$dummy_31_builtins$002Epl_5 {
    public Predicate exec(Prolog engine) {
    // '$dummy_31_builtins.pl'(A,B,C,D,E):-C=instantiation_error(D,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
77
78
79
80
81
82
83
84
85
86
87
class PRED_$mem_pair_2_1 extends PRED_$mem_pair_2 {
    public Predicate exec(Prolog engine) {
    // '$mem_pair'(A=B,[C=D|E]):-A==C,!,B=D
        Term a1, a2, a3, a4, a5, a6, a7, a8;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$mem_pair'(A=B,[C=D|E]):-['$get_level'(F),'$equality_of_term'(A,C),'$cut'(F),'$unify'(B,D)]
        a1 = a1.dereference();
View Full Code Here
156
157
158
159
160
161
162
163
164
165
166
class PRED_$mem_pair_2_2 extends PRED_$mem_pair_2 {
    public Predicate exec(Prolog engine) {
    // '$mem_pair'(A,[B|C]):-'$mem_pair'(A,C)
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$mem_pair'(A,[B|C]):-['$mem_pair'(A,C)]
        a2 = a2.dereference();
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
71
class PRED_$parse_tokens_skip_spaces_2_1 extends PRED_$parse_tokens_skip_spaces_2 {
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_skip_spaces'(A,B):-'C'(A,' ',C),!,'$parse_tokens_skip_spaces'(C,B)
        Term a1, a2, a3, a4;
        Predicate p1, p2;
        Predicate cont;
        a1 = engine.aregs[1];
        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);
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
class PRED_$parse_tokens_skip_spaces_2_2 extends PRED_$parse_tokens_skip_spaces_2 {
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_skip_spaces'(A,B):-B=A
        Term a1, a2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$parse_tokens_skip_spaces'(A,B):-['$unify'(B,A)]
        //START inline expansion of $unify(a(2),a(1))
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
    public Predicate exec(Prolog engine) {
    // peek_code(A):-current_input(B),peek_code(B,A)
        engine.setB0();
        Term a1, a2;
        Predicate p1;
        a1 = arg1;
    // peek_code(A):-[current_input(B),peek_code(B,A)]
        a2 = new VariableTerm(engine);
        p1 = new PRED_peek_code_2(a2, a1, cont);
        return new PRED_current_input_1(a2, p1);
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_error'(A,B,C):-write('{SYNTAX ERROR}'),nl,write('** '),'$parse_tokens_write_message'(A),write(' **'),nl,'$parse_tokens_error1'([],B),clause('$tokens'(D),E),'$parse_tokens_error1'(D,B),fail
        engine.setB0();
        Term a1, a2, a3, a4, a5, a6;
        Predicate p1, p2, p3, p4, p5, p6, p7, p8, p9;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // '$parse_tokens_error'(A,B,C):-[write('{SYNTAX ERROR}'),nl,write('** '),'$parse_tokens_write_message'(A),write(' **'),nl,'$parse_tokens_error1'([],B),clause('jp.ac.kobe_u.cs.prolog.builtin':'$tokens'(D),E),'$parse_tokens_error1'(D,B),fail]
        a4 = new VariableTerm(engine);
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
class PRED_print_procedure_box_5_2 extends PRED_print_procedure_box_5 {
    public Predicate exec(Prolog engine) {
    // print_procedure_box(A,B,C,D,E):-clause('$leap_flag'(no),F),!,'$builtin_message'([' ',E,A,:,C:B]),'$dummy_27_builtins.pl'(B,E,C,G,A,D)
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12;
        Predicate p1, p2, p3;
        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
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.