Rules Basics
- Rules are of the form of an implication between an
antecedent (body) and consequent (head).
- Intended meaning: whenever conditions specified in antecedent hold,
conditions specified in consequent must also hold
- Both antecedent and consequent consist of zero or more atoms
- Empty antecedent treated as trivially true
- Empty consequent treated as trivially false
- Multiple atoms treated as a conjunction