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

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

417
418
419
420
421
422
423
424
425
426
427
class PRED_$builtin_meta_predicates_3_8 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(on_exception,3,[?,:,:]):-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'(on_exception,3,[?,:,:]):-[]
View Full Code Here
451
452
453
454
455
456
457
458
459
460
461
class PRED_$builtin_meta_predicates_3_9 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(catch,3,[:,?,:]):-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'(catch,3,[:,?,:]):-[]
View Full Code Here
485
486
487
488
489
490
491
492
493
494
495
class PRED_$builtin_meta_predicates_3_10 extends PRED_$builtin_meta_predicates_3 {
    public Predicate exec(Prolog engine) {
    // '$builtin_meta_predicates'(freeze,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'(freeze,2,[?,:]):-[]
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
class PRED_$builtin_member_2_1 extends PRED_$builtin_member_2 {
    public Predicate exec(Prolog engine) {
    // '$builtin_member'(A,[A|B]):-true
        Term a1, a2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$builtin_member'(A,[A|B]):-[]
        a2 = a2.dereference();
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
class PRED_$builtin_member_2_2 extends PRED_$builtin_member_2 {
    public Predicate exec(Prolog engine) {
    // '$builtin_member'(A,[B|C]):-'$builtin_member'(A,C)
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$builtin_member'(A,[B|C]):-['$builtin_member'(A,C)]
        a2 = a2.dereference();
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
class PRED_set_prolog_flag_2_1 extends PRED_set_prolog_flag_2 {
    public Predicate exec(Prolog engine) {
    // set_prolog_flag(A,B):-var(A),!,illarg(var,set_prolog_flag(A,B),1)
        Term a1, a2, a3, a4;
        Predicate cont;
        a1 = engine.aregs[1];
        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);
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
class PRED_set_prolog_flag_2_2 extends PRED_set_prolog_flag_2 {
    public Predicate exec(Prolog engine) {
    // set_prolog_flag(A,B):-var(B),!,illarg(var,set_prolog_flag(A,B),2)
        Term a1, a2, a3, a4;
        Predicate cont;
        a1 = engine.aregs[1];
        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);
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
class PRED_set_prolog_flag_2_3 extends PRED_set_prolog_flag_2 {
    public Predicate exec(Prolog engine) {
    // set_prolog_flag(A,B):-atom(A),!,'$set_prolog_flag0'(A,B)
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        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);
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
class PRED_$add_operators_3_1 extends PRED_$add_operators_3 {
    public Predicate exec(Prolog engine) {
    // '$add_operators'([],A,B):-!
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$add_operators'([],A,B):-['$neck_cut']
View Full Code Here
97
98
99
100
101
102
103
104
105
106
107
108
class PRED_$add_operators_3_2 extends PRED_$add_operators_3 {
    public Predicate exec(Prolog engine) {
    // '$add_operators'([A|B],C,D):-'$add_op'(A,C,D),'$add_operators'(B,C,D)
        Term a1, a2, a3, a4, a5;
        Predicate p1;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$add_operators'([A|B],C,D):-['$add_op'(A,C,D),'$add_operators'(B,C,D)]
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.