Loading timeline…
19651960s
Organizations
Rice UniversitySyracuse University
Major Achievements
- •Published 'A Machine-Oriented Logic Based on the Resolution Principle' (1965).
- •Invented the unification algorithm, making automated theorem proving drastically more efficient.
- •His mathematical breakthroughs laid the direct theoretical groundwork for PROLOG.
Key Papers
- A Machine-Oriented Logic Based on the Resolution Principle
J. Alan Robinson · Journal of the ACM · 1965