Unification
← Back to Logic Programming
The process of finding substitutions for logic variables that make two terms identical. Unification is the core mechanism of logic programming, enabling pattern matching on logical structures and variable binding during resolution.