Execution Semantics
Two steps
- select the rule according to the value of condition variables
- execute the corresponding action set
Procedure table
- execute only once
- corresponding to nested branches
Process table
- execute repeatedly
- corresponding to: process, loops
- FSM is implemented as a process table