11. Implementing First-Order Logic

11.1. Syntax

11.2. Semantics

11.3. First-order unification