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

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

98
99
100
101
102
103
104
105
106
107
108
}

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)]
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
}

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']
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s1))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s1, engine.trail);
        } else {
            return engine.fail();
        }
        a2 = a2.dereference();
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
}

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)]
        a1 = a1.dereference();
        if (a1.isList()){
            Term[] args = {((ListTerm)a1).car(), ((ListTerm)a1).cdr()};
            a4 = args[0];
            a5 = args[1];
        } else if (a1.isVariable()){
            a4 = new VariableTerm(engine);
            a5 = new VariableTerm(engine);
            ((VariableTerm) a1).bind(new ListTerm(a4, a5), engine.trail);
        } else {
            return engine.fail();
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
}

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]
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
}

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))]
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
    }

    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;
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
}

class PRED_$write_dynamic_clause_2_3 extends PRED_$write_dynamic_clause_2 {
    public Predicate exec(Prolog engine) {
    // '$write_dynamic_clause'(A,(B:-C)):-!,numbervars((B:-C),0,D),'$write_dynamic_head'(A,B),write(' :-'),nl,'$write_dynamic_body'(C,8),write('.'),nl
        Term a1, a2, a3, a4, a5;
        Predicate p1, p2, p3, p4, p5, p6;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
}

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];
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
}

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];
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
}

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();
        if (a1.isStructure()){
            if (! s1.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
            a3 = args[0];
            a4 = args[1];
        } else if (a1.isVariable()){
            a3 = new VariableTerm(engine);
            a4 = new VariableTerm(engine);
            Term[] args = {a3, a4};
            ((VariableTerm) a1).bind(new StructureTerm(s1, args), engine.trail);
        } else {
View Full Code Here
TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.Term

  • 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_$op_atom_list_2_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$op_atom_list_2_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$op_atom_list_2_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_tokens1_5_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_tokens1_5_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_tokens1_5_3
    • 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.