Loading timeline…
19651960s
Unification Algorithm
Algorithm for solving equations between symbolic expressions, key to logic programming.
Why It Was Important
J.A. Robinson introduced the resolution principle and the modern unification algorithm. This mathematical breakthrough allowed computers to logically infer conclusions from a set of premises much more efficiently, directly leading to the creation of the PROLOG programming language in the 1970s.
Who Invented It
John Alan Robinson
Philosopher, mathematician, and computer scientist at Rice University.
Applications
- Automated Theorem Proving
- Logic Programming (PROLOG)
- Type Inference
Key Papers
- A Machine-Oriented Logic Based on the Resolution Principle
J. Alan Robinson · Journal of the ACM · 1965