O documento apresenta uma introdução à programação lógica em Prolog. Resume os principais conceitos da lógica de predicados de primeira ordem e como ela é operacionalizada na linguagem Prolog, permitindo a programação declarativa com base em regras lógicas.
19. Revisão de L PO : mecanismo de inferência completo (para verificação ) Fórmula da lógica de 1a. ordem Fórmula na forma normal Refutação: aplicação repetitiva da regra de resolução Problema: a cada passo, como escolher o par de fórmulas a resolver? Fórmula instanciada ou False Conversão para forma normal Prova por refutação Resolução Unificação Demodulação