Sandy Vanderbleek on Correcting A Widespread Error in Unification Algorithms

-----------------------------------------------------------------------------------
-----------------------------------------------------------------------------------

Description
------------------

Peter Norvig found an error in the unification algorithm presented in his AI textbooks and several others and wrote a brief paper about it. While his paper focuses on Lisp implementations of higher-order unification, I will restrict the problem to syntactic propositional unification and present the erroneous and correct algorithm in a pattern and substitution notation.

Bio
-----