Software Engineering, Programming Languages, Programming, Saga.
antecedent, which represents the conditions that must be met. The part below the line is called the consequent, which represents the state transition. Here, each transition is labeled. The label allows us to build a trace, that is, a history of the execution. Figure 1. Anatomy of an inference rule