Rewrite the following code so it consists of a single loop. Rewrite the loop in terms of a processor number p so the code can be partitioned among 100 processors, with iteration p executed by...

Rewrite the following code




so it consists of a single loop. Rewrite the loop in terms of a processor number p so the code can be partitioned among 100 processors, with iteration p executed by processor p.

The following rule




is part of a larger Datalog program P.

a) Identify the head, body, and subgoals of this rule.


b) Which predicates are certainly IDB predicates of program PI

! c) Which predicates are certainly EDB predicates of P?

d) Is the rule safe?

e) Is P stratified?