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

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

70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
}

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']
        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();
        }
        //START inline expansion of $neck_cut
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
}

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)]
        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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
    }

    public Predicate exec(Prolog engine) {
    // atom(A):-atom(A)
        engine.setB0();
        Term a1;
        a1 = arg1;
    // atom(A):-[atom(A)]
        //START inline expansion of atom(a(1))
        a1 = a1.dereference();
        if (! a1.isSymbol()) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
    }

    public Predicate exec(Prolog engine) {
    // '$not_after'(A,B):-'$not_after'(A,B)
        engine.setB0();
        Term a1, a2;
        a1 = arg1;
        a2 = arg2;
    // '$not_after'(A,B):-['$not_after'(A,B)]
        //START inline expansion of $not_after(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) > 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    }

    public Predicate exec(Prolog engine) {
    // assert(A):-assertz(A)
        engine.setB0();
        Term a1, a2;
        a1 = arg1;
    // assert(A):-[assertz('jp.ac.kobe_u.cs.prolog.builtin':A)]
        Term[] y1 = {s2, a1};
        a2 = new StructureTerm(s1, y1);
        return new PRED_assertz_1(a2, cont);
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
    }

    public Predicate exec(Prolog engine) {
    // '$bitwise_disj'(A,B,C):-'$bitwise_disj'(A,B,C)
        engine.setB0();
        Term a1, a2, a3;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // '$bitwise_disj'(A,B,C):-['$bitwise_disj'(A,B,C)]
        //START inline expansion of $bitwise_disj(a(1),a(2),a(3))
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    }

    public Predicate exec(Prolog engine) {
    // '$float_integer_part'(A,B):-'$float_integer_part'(A,B)
        engine.setB0();
        Term a1, a2;
        a1 = arg1;
        a2 = arg2;
    // '$float_integer_part'(A,B):-['$float_integer_part'(A,B)]
        //START inline expansion of $float_integer_part(a(1),a(2))
        try {
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
    }

    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)]
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
}

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)]
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
}

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)]
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.