Topic summary
Unification algorithm
Extracted from the Wikipedia article Unification (computer science).
Unification of infinite terms
Unification algorithm, Prolog II:
Topic summary
Extracted from the Wikipedia article Unification (computer science).
Unification algorithm, Prolog II: