Método de Resolução & Prolog

Material:

• Aulas expositivas, reforço, sessões de dúvidas, desafios (tutores+fórum)
• Livro B&A, versão 2007, capítulos Resolução na Lógica Proposicional e Resolução na Lógica de Predicados
• Verbetes sobre Literal (lógica), Cláusula (lógica), Forma Normal Conjuntiva e Princípio da resolução, na Wikipédia
• Verbetes sobre Forma normal da negação, Forma normal prenex, Skolemização, Forma normal clausal, Universo de Herbrand, Base de Herbrand e Unificação, na Wikipédia
• Exercícios resolvidos B&A, capítulo :
  • - Exercícios do capítulo "Computação na Lógica Proposicional" do livro B&A: soluções
  • - Exercícios do capítulo "Computação na Lógica de Predicados" do livro B&A: soluções
• Avaliações + soluções (proposicional):
  • - Avaliação 00: enunciado - gabarito
• Exame-tipo (proposicional) => teste seus conhecimentos!
• Avaliações + soluções (primeira ordem):
  • - Avaliação 00: enunciado - gabarito
• Exame-tipo (primeira ordem) => teste seus conhecimentos!
• Tutorial (C. Nalon): Machine-Oriented Reasoning

Temas importantes:

• Formas normais & respectivos procedimentos de conversão
• Método da Resolução por Eliminação dos Literais Complementares e Unificação
• Justificativas lógicas para o procedimento operacional do método de resolução

Fundamentos de Prolog

Material:

• Aulas expositivas, sessões de dúvidas, desafios (tutores+fórum)
• Livro de B&A, versão 2007, capítulo Programação em Lógica e Prolog
• Exercícios resolvidos B&A: soluções (arquivo PL)
• Livros-texto de Palazzo e de Favero de introdução ao Prolog.
• Verbete sobre Prolog na Wikipédia
• Avaliações + soluções:
  • - Avaliação 00: enunciado - gabarito (arquivo PL)
  • - Avaliação 01: enunciado - gabarito (arquivo PL)
  • - Avaliação 02: enunciado - gabarito (arquivo PL)
• Arquivos Prolog com exemplos:
• [P00] - fatos, regras, consultas, e recursividade básica
• [P01] - controle de fluxo, aritmética básica, e mais recursividade
• [P02] - outros predicados extra-lógicos, listas, listas-diferença, filas, árvores
• [C00] - algumas operações usuais sobre conjuntos
• [L00] - algumas operações sobre a sintaxe e a semântica da lógica proposicional

Instalação & tutoriais:

• SWI-Prolog: ambiente Prolog freeware (Windows e outros SO).
  • No Linux: apt-get install swi-prolog swi-prolog-clib swi-prolog-doc
• Alguns tutoriais:
  • - Learn Prolog Now!
  • - prolog :- tutorial.
  • - Logic, Programming and Prolog
• Prolog dictionary