John MacCarthy propôs que a lógica matemática fosse usada como o fundamento para a epistemologia de sistemas de computadores. Sob a liderança de Marvin Minsky e Seymour Papert, uma abordagem diferente baseada em procedimentos processuais foi desenvolvida no MIT. Quando o Planner foi desenvolvido, levantou-se o a questão sobre o relacionamento entre as duas abordagens.
Robert Kowalski desenvolveu a tese que "computação pode concebida dedução" teve boa aceitação ao citar o slogan "a computação é uma dedução controlada," que ele atribuiu a Pat Hayes em seu artigo de 1988 no início da história do Prolog. Ao contrário de Kowalski e Hayes, Carl Hewitt desenvolveu a tese de que a dedução lógica era incapaz de executar computação concorrente em sistemas abertos. A resposta à questão sobre a relação entre as abordagens lógica e procedimental é que a abordagem procedimental tem uma semântica matemática diferente (ver semântica denotacional) da semântica da lógica matemática (ver teoria dos modelos).