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

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

71
72
73
74
75
76
77
78
79
80
81
class PRED_$hash_addz_all_3_1 extends PRED_$hash_addz_all_3 {
    public Predicate exec(Prolog engine) {
    // '$hash_addz_all'([],A,B):-!
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$hash_addz_all'([],A,B):-['$neck_cut']
View Full Code Here
97
98
99
100
101
102
103
104
105
106
107
108
class PRED_$hash_addz_all_3_2 extends PRED_$hash_addz_all_3 {
    public Predicate exec(Prolog engine) {
    // '$hash_addz_all'([A|B],C,D):-'$hash_addz'(C,A,D),'$hash_addz_all'(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;
    // '$hash_addz_all'([A|B],C,D):-['$hash_addz'(C,A,D),'$hash_addz_all'(B,C,D)]
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    public Predicate exec(Prolog engine) {
    // java_declared_method(A,B,C):-B=..[D|E],builtin_java_convert_args(E,F),G=..[D|F],java_declared_method0(A,G,H),java_conversion(I,H),C=I
        engine.setB0();
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11;
        Predicate p1, p2, p3, p4, p5;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // java_declared_method(A,B,C):-['$univ'(B,[D|E]),builtin_java_convert_args(E,F),'$univ'(G,[D|F]),java_declared_method0(A,G,H),java_conversion(I,H),'$unify'(C,I)]
        a4 = new VariableTerm(engine);
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
class PRED_set_prolog_flag_2_4 extends PRED_set_prolog_flag_2 {
    public Predicate exec(Prolog engine) {
    // set_prolog_flag(A,B):-illarg(type(atom),set_prolog_flag(A,B),1)
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // set_prolog_flag(A,B):-[illarg(type(atom),set_prolog_flag(A,B),1)]
        Term[] y1 = {a1, a2};
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
class PRED_$dummy_26_builtins$002Epl_2_1 extends PRED_$dummy_26_builtins$002Epl_2 {
    public Predicate exec(Prolog engine) {
    // '$dummy_26_builtins.pl'(A,B):-B==off,!,call(user:A)
        Term a1, a2, a3, a4;
        Predicate cont;
        a1 = engine.aregs[1];
        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);
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
class PRED_$dummy_26_builtins$002Epl_2_2 extends PRED_$dummy_26_builtins$002Epl_2 {
    public Predicate exec(Prolog engine) {
    // '$dummy_26_builtins.pl'(A,B):-'$trace_goal'(user:A)
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dummy_26_builtins.pl'(A,B):-['$trace_goal'(user:A)]
        Term[] y1 = {s3, a1};
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
class PRED_hash_map_3_1 extends PRED_hash_map_3 {
    public Predicate exec(Prolog engine) {
    // hash_map([],[],A):-!
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // hash_map([],[],A):-['$neck_cut']
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
class PRED_hash_map_3_2 extends PRED_hash_map_3 {
    public Predicate exec(Prolog engine) {
    // hash_map([A|B],[(A,C)|D],E):-hash_get(E,A,C),hash_map(B,D,E)
        Term a1, a2, a3, a4, a5, a6, a7, a8;
        Predicate p1;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // hash_map([A|B],[(A,C)|D],E):-[hash_get(E,A,C),hash_map(B,D,E)]
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
class PRED_$consult_init_1_1 extends PRED_$consult_init_1 {
    public Predicate exec(Prolog engine) {
    // '$consult_init'(A):-retractall('$consulted_file'(B)),retractall('$consulted_package'(C)),retract('$consulted_predicate'(D,E,A)),abolish(D:E),fail
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10;
        Predicate p1, p2, p3, p4;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // '$consult_init'(A):-[retractall('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_file'(B)),retractall('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_package'(C)),retract('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_predicate'(D,E,A)),abolish(D:E),fail]
        Term[] y1 = {new VariableTerm(engine)};
        a2 = new StructureTerm(s3, y1);
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
110
class PRED_$consult_init_1_2 extends PRED_$consult_init_1 {
    public Predicate exec(Prolog engine) {
    // '$consult_init'(A):-assertz('$consulted_file'(A)),assertz('$consulted_package'(user))
        Term a1, a2, a3;
        Predicate p1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // '$consult_init'(A):-[assertz('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_file'(A)),assertz('jp.ac.kobe_u.cs.prolog.builtin':'$consulted_package'(user))]
        Term[] y1 = {a1};
        a2 = new StructureTerm(s3, y1);
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.