Correctness generally OK - efficiency issues:
p(a).
q(b) :- large computation.
q(a).
- Parallelism always correct (pure programs).
- More work can be done (speculativeness).
- Worse: ``no-slowdown'' not preserved.
Some aspects new and particular to languages with non-determinism!