O termo "Lógica Computacional" veio à proeminência com a fundação da ACM transactions on Computational Logic.^[1] No Entanto, a sua primeira utilização foi, provavelmente em 1972, quando a unidade de Metamatemática da Universidade de Edimburgo foi renomeado para "Departamento de lógica computacional" na Escola de Inteligência Artificial.^[2] O termo foi utilizado por Robert S. Boyer e J Strother Moore, que trabalhou no Departamento, no início do ano de 1970, para descrever o seu trabalho na verificação do programa e raciocínio automatizado. Eles também fundaram uma empresa, Computational Logic Inc. com o mesmo nome