Paradigma Lógico

Baseia-se fortemente na utilização da lógica matemática, se relacionando com as linguagens de programação da quinta geração e os estudos na área de inteligência artificial. A própria origem do paradigma está relacionada a criação da linguagem de programação Prolog, no início da década de 70.

Costuma ser muito utilizado na criação de sistemas “especialistas” ou “inteligentes”, que são aqueles que têm por objetivo simular o raciocínio de profissionais humanos com domínio do conhecimento em áreas especificas, como, por exemplo, um sistema que auxilia um médico no diagnóstico de doenças a partir da inserção dos sintomas do paciente.