3.1 Recursive definitions

Predicates can be defined recursively. Roughly speaking, a predicate is recursively defined if one or more rules in its definition refers to itself.

• 3.1.1 Example 1: Eating

• 3.1.2 Example 2: Descendant

• 3.1.3 Example 3: Successor

• 3.1.4 Example 3: Addition