This difference affects whether choices can be undone, whether processes are allowed not to terminate, and how goals and clause heads are equated.
Ова разлика утиче на избор да ли може да се опозове, да ли су процеси дозвољени да се не прекину, и како су изједначени циљеви и главе клаузулу.