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