6 Paradigma Lógico

O paradigma lógico emergiu na década de 1970, sendo fundamentalmente distinto dos outros paradigmas. A abordagem do paradigma lógico é expressar programas na forma de lógica simbólica e usar um processo de inferência lógica para produzir resultados, sendo algumas de suas principais aplicações nas áreas de inteligência artificial, processamento de linguagem natural, criação de sistemas especialistas e prova de teoremas .

Linguagens de programação lógica permitem ao programador declarar um conjunto de fatos a partir do qual teoremas podem ser provados. O programador declara teoremas ou objetivos, e a implementação da linguagem tenta encontrar uma coleção de fatos e passos de inferência que, juntos, implicam no objetivo . Dentre as várias linguagens lógicas existentes, Prolog é de longe a mais popular, sendo também a maior responsável pela difusão do paradigma, por isso todos os exemplos na apresentação do paradigma serão escritos nesta linguagem (exceto quando especificado).