However, procedurally, when there are several clauses whose heads H match a given goal, then all of the clauses are executed in parallel, checking whether their guards G1, … , Gn hold.
Међутим, процедурално, када постоји неколико клаузула чија глава H да гол у мечу онда сесве клаузуле извршавају паралелно, провере да ли њихови чувари G1, … , Gn чекају.