YAP 7.1.0
traced_or.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/* -------------------------------- **
15** Scheduler instructions **
16** -------------------------------- */
17
18PBOp(getwork_first_time,e)
19{ printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
20 ENDPBOp();
21
22
23
24
25 PBOp(getwork,Otapl)
26 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
27 ENDPBOp();
28
29
30
31 /* The idea is to check whether we are the last worker in the node.
32 If we are, we can go ahead, otherwise we should call the scheduler. */
33PBOp(getwork_seq,Otapl)
34{ printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
35 ENDPBOp();
36
37
38
39 PBOp(sync,Otapl)
40 { printf("Or-parallelism not supported by JIT!!\n"); exit(1); }
41 ENDPBOp();