next up previous index
Next: Restrictions Up: Parallel Execution Previous: Parallelism and Side Effects   Index


Parallel Cuts

The semantics of cut follows the philosophy that the order of clauses in a parallel predicate is not relevant. E.g. a predicate like
:- parallel p/0.
p :- writeln(a).
p :- !, writeln(b).
p :- !, writeln(c).
may print 'a' and 'b', 'a' and 'c', only 'b' or only 'c'. It depends on which cut is executed first, and whether it is executed before or after 'a' has been printed.




1999-08-06