|
Date of Birth
|
1930
|
|
Place of Birth
|
Yorkshire
(England, United Kingdom)
|
|
Nationality
|
United Kingdom, United States of America
|
|
Also know as
|
J. A. Robinson, John A. Robinson
|
|
Profession
|
Mathematician, Journalist, Computer Scientist, Philosopher
|
|
John Alan Robinson is a philosopher, 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. 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.
|
