Ementa
 

Módulo 1: (Prof. Mário Benevides)

Introduçao
Revisão de Lógica de Primeira Ordem
Resolução
    Unificação
    O Método
    Estratégias
Programação em Lógica
    PROLOG
    Aplicações de PROLOG
Tópicos em Programação em Lógica

Módulo 2: (Prof. Inês Dutra)

Implementação de sistemas de programação lógica
Programação lógica com restrições
Programação Lógica Indutiva

Bibliografia
The Art of Prolog, Ehud and Shapiro 
Prolog Programming for Artificial Intelligence, Bratko 
 

Avaliação
  Duas provas e dois trabalhos. A média será calculada da seguinte forma [3.P1 + 3.P2  + 2.T1 + 2.T2]/ 10 
 

Calendário
 
  P1 - 25/04
  P2 - 20/06
  T1 - 26/05
  T2 - 29/06
 

Lista de Discussão do Curso

•  Foi criada uma lista de discussão do curso. Para assinar envie mensagem para logprog-2006-1-subscribe@yahoogrupos.com.br
• Para enviar mensagem na lista é só enviar para logprog-2006-1@yahoogrupos.com.br

• Para saber mais sobre o grupo visite http://br.groups.yahoo.com/group/logprog-2006-1
  

"Downloads"

•  O SWI Prolog é um software livre e pode ser obtido no site
  

•  O Yap Prolog é um software livre e pode ser obtido no site
  

•  OVisual Prolog pode ser obtido na sua versão pessoal no seguinte site

Listas de Exercícios

  Lista de PROLOG,
 

Notas de Aula

1. Lógica e Resolução,  pdf
   

      2. Estratégias de Resolução,  pdf 

      3. Programação em Lógica - PROLOG, pdf

      4. Aplicações de PROLOG, pdf  

      5. Implementação de sistemas de Programação Lógica, txt  

      6. Programação em Lógica com Restrições, pdf  

      7. Programação Lógica Indutiva
Cópia das transparências (Notas de aula de Johannes Fürnkranz, University of Vienna)

• Intro
• FOIL
• Progol
• Aleph

   
Trabalhos
 

 
 
 
 
 * última atualização 17/03/06