New posts in Unification

Implementing the Prolog Unification algorithm in Python? Backtracking

What is the optimal "most general unifier" algorithm?