John Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.
Alan Robinson's major contribution is to the foundations of automated theorem proving and logic programming, using the resolution principle and unification (1965). This enabled the efficient implementation of the Prolog logic programming language and theorem provers. Robinson received ...
more
John Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.
Alan Robinson's major contribution is to the foundations of automated theorem proving and logic programming, using the resolution principle and unification (1965). This enabled the efficient implementation of the Prolog logic programming language and theorem provers. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning (named after the mathematician Jacques Herbrand).
Robinson was born in Yorkshire, England in 1930 and left for the United States in 1952 with a classics degree from Cambridge University. He studied philosophy at the University of Oregon before moving to Princeton University where he received his PhD in philosophy in 1956. He then worked at Du Pont as an operations research analyst, where he learned programming and taught himself mathematics. He moved to Rice...
less
