Programação Lógica

Programação lógica abdutiva é um tipo de programação lógica que foca no raciocínio para encontrar as melhores explicações para observações.

Programação por conjuntos de respostas (ASP) é um paradigma de programação declarativa para resolver problemas combinatórios complexos.

Encadeamento para trás é um método de raciocínio em IA que começa com o objetivo e trabalha para trás para encontrar evidências de suporte.

Programação lógica por restrições (CLP) combina programação lógica com resolução de restrições para resolver problemas complexos.

Programação de Lógica Indutiva (ILP) é uma abordagem de aprendizado de máquina que usa programação lógica para criar modelos a partir de exemplos.