miniaturadaimagem|John Alan Robinson, American computer scientist John Alan Robinson (Halifax, - Portland (Maine), ) foi um filósofo (por formação), matemático e cientista da computação . Ele era Professor Emérito Universitário da Universidade de Syracuse, Estados Unidos.
A maior contribuição de Alan Robinson é para os fundamentos da prova automática de teoremas. Seu algoritmo de unificação eliminou uma fonte de explosão combinatória nos provadores da resolução; também preparou o terreno na programação lógica de paradigma, em particular na língua prolog. Robinson recebeu o Prêmio Herbrand de 1996 nas distintas contribuições para raciocínio automático.
Categoria:Filósofos do Reino Unido Categoria:Matemáticos do Reino Unido Categoria:Cientistas da computação do Reino Unido Categoria:Alunos da Universidade de Princeton