YAP 7.1.0
traced_tab.insts.h
1/************************************************************************
2** **
3** The YapTab/YapOr/OPTYap systems **
4** **
5** YapTab extends the Yap Prolog engine to support sequential tabling **
6** YapOr extends the Yap Prolog engine to support or-parallelism **
7** OPTYap extends the Yap Prolog engine to support or-parallel tabling **
8** **
9** **
10** Yap Prolog was developed at University of Porto, Portugal **
11** **
12************************************************************************/
13
14#define TOP_STACK YENV
15
16#define HEAP_ARITY_ENTRY (0)
17#define VARS_ARITY_ENTRY (1 + heap_arity)
18#define SUBS_ARITY_ENTRY (1 + heap_arity + 1 + vars_arity)
19
20/* macros 'HEAP_ENTRY', 'VARS_ENTRY' and 'SUBS_ENTRY' **
21** assume that INDEX starts at 1 (and not at 0 !!!) */
22#define HEAP_ENTRY(INDEX) (HEAP_ARITY_ENTRY + (INDEX))
23#define VARS_ENTRY(INDEX) (VARS_ARITY_ENTRY + 1 + vars_arity - (INDEX))
24#define SUBS_ENTRY(INDEX) (SUBS_ARITY_ENTRY + 1 + subs_arity - (INDEX))
25
26#if 0
27/************************************************************************
28** clause_with_cut **
29************************************************************************/
30
31Op(clause_with_cut, e)
32 { printf("clause_with_cut not supported by JIT!!\n"); exit(1); }
33ENDOp();
34
35#endif
36
37/************************************************************************
38** table_load_answer **
39************************************************************************/
40
41PBOp(table_load_answer, Otapl)
42{ printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
43 ENDPBOp();
44
45
46
47/************************************************************************
48 ** table_try_answer **
49************************************************************************/
50
51 PBOp(table_try_answer, Otapl)
52 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
53 ENDPBOp();
54
55
56
57/************************************************************************
58 ** table_try_single **
59************************************************************************/
60
61 PBOp(table_try_single, Otapl)
62 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
63 ENDPBOp();
64
65
66
67/************************************************************************
68 ** table_try_me **
69************************************************************************/
70
71 PBOp(table_try_me, Otapl)
72 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
73 ENDPBOp();
74
75
76
77/************************************************************************
78 ** table_try **
79************************************************************************/
80
81 PBOp(table_try, Otapl)
82 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
83
84 ENDPBOp();
85
86
87
88/************************************************************************
89 ** table_retry_me **
90************************************************************************/
91
92 Op(table_retry_me, Otapl)
93 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
94 ENDOp();
95
96
97
98/************************************************************************
99** table_retry **
100************************************************************************/
101
102 Op(table_retry, Otapl)
103 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
104 ENDOp();
105
106
107
108/************************************************************************
109** table_trust_me **
110************************************************************************/
111
112 Op(table_trust_me, Otapl)
113 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
114 ENDOp();
115
116
117
118/************************************************************************
119** table_trust **
120************************************************************************/
121
122 Op(table_trust, Otapl)
123 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
124 ENDOp();
125
126
127
128/************************************************************************
129** table_new_answer **
130************************************************************************/
131
132 PBOp(table_new_answer, s)
133 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
134 ENDPBOp();
135
136
137
138/************************************************************************
139 ** table_answer_resolution **
140************************************************************************/
141
142 BOp(table_answer_resolution, Otapl)
143 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
144 ENDBOp();
145
146
147
148/************************************************************************
149 ** table_completion **
150************************************************************************/
151
152 BOp(table_completion, Otapl)
153 ENDBOp();
154
155
156
157/************************************************************************
158** table_answer_resolution_completion **
159************************************************************************/
160
161#ifdef THREADS_CONSUMER_SHARING
162 BOp(table_answer_resolution_completion, Otapl)
163 { printf("table_answer_resolution_completion not supported by JIT!!\n"); exit(1); }
164 ENDBOp();
165#endif /* THREADS_CONSUMER_SHARING */