. "Robinson, John Alan"@en . "John Alan Robinson (born 1928) 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. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language."@en . . . "1930Z"^^ . "John Alan Robinson"@en . . . . "British-American mathematician" . . . . .