Get the latest tech news
Unification (2018)
In logic and computer science, unification is a process of automatically solving equations between symbolic terms. Unification has several interesting applications, notably in logic programming and type inference.
In logic and computer science, unification is a process of automatically solving equations between symbolic terms. In any case, if you're interested in the more Lisp-y version, I have some Clojure code online that ports Norvig's implementation more directly. If v is bound in the substitution, we try to unify its definition with x to guarantee consistency throughout the unification process (and vice versa when x is a variable).
Or read this on Hacker News