Production rules and logic

This method relies on if-then-else construct. It is well known form procedural programming languages. It could be described as:

$$IF \; condition \; THEN \; action1 \; ELSE \; action2$$

It reads: if $condition$ is true then perform $action1$ else perform $action2$. Often the $ELSE$ part is absent or is global, for all rules.