Learning Module 16 — Unification
Why this is important: Unification is a foundational mathematical operation in much of programming languages. It shows up in typing semantics, pattern matching, and is even the driving force behind Prolog.
Outcomes
- 16.1 – Identify the names of the four unification operations. (4 points)
- 16.2 – Solve a unification problem. (6 points)