Clique para ir ao início Universidade de Brasília - UnB
Decanato de Ensino de Graduação - DEG
Secretaria de Administração Acadêmica - SAA
MatrículaWeb
GRADUAÇÃO
  Seja bem-vindo(a).
  Para ter acesso ao menu de Aluno, faça o login.
MatrículaWeb  clique aqui para fazer o login.
 


Período Atual
2017/2


Disciplina - Listagem de Ementa/Programa
Disciplina: 116645 - PROGRAMACAO EM LOGICA
(Ver Oferta)

Graduação

Curso
Oferta
Telefones
Calendário
Mensagem da SAA
Benefícios DAC


Órgão: CIC - Departamento de Ciência da Computação
Código: 116645
Denominação: PROGRAMACAO EM LOGICA
Nível: Graduação
Vigência: 1971/2
Pré-req: CIC-116343 LINGUAGENS DE PROGRAMACAO E
CIC-117366 Lógica Computacional 1 OU
FIL-137481 Lógica 1
Ementa:

Lógica de Primeira-Ordem; Resolução; Cláusulas Horn; Estratégias

Completas para Cláusulas Horn; Programação em Lógica; A Linguagem

Prolog. Aspectos de Implementação da Linguagem Prolog.

Programa:

1. Lógica de Primeira-Ordem:

(a) Sintaxe;

(b) Semântica.

2. Cálculo Dedutivo Baseado no Princípio da Resolução:

(a) Forma Normal Clausal;

(b) Unificação;

(c) Método da Resolução;

(d) Decidibilidade.

3. Cláusulas Horn.

4. Estratégias Completas para Conjuntos de Cláusulas Horn:

(a) Estratégia Linear;

(b) Saturação;

(c) Estratégia Baseada em Conjunto de Suporte.

5. Programação em Lógica:

(a) Princípios do Paradigma Declarativo;

(b) Utilização de Linguagens Lógicas e Métodos Dedutivos para Obtenção de

Respostas.

6. A Linguagem Prolog:

(a) Cláusulas Genéricas;

(b) Cláusulas Definidas;

(c) Sintaxe;

(d) Resolução LSD e Negação por Falha Finita.

7. Implementação da Linguagem Prolog:

(a) A Máquina Abstrata de Warren;

(b) Backtracking;

(c) Otimização de Código.

8. Prática e Aplicações.

Bibliografia:

AïT-KACI, H. Warren’s AbstractMachine: A Tutorial Reconstruction. 3. ed. Cambridge,

Massachusetts: MIT Press, 1991.

BRATKO, I. PROLOG Programning for Artificial Intelligence (International Computer

Science Series). 4. ed. London: Addison-Wesley Educational Publishers Inc, 2008.

CASANOVA, M. A.; GIORNO, F. A. C.; FURTADO, A. L. Programação em Lógica e a

Linguagem Prolog. São Paulo: Editora Edgard Blücher LTDA, 1987.

HUTH, M.; RYAN, M. Logic in Computer Science: Modelling and Reasoning about

Systems. 2. ed. Cambridge: Cambridge University Press, 2004.

© 2017 CPD - Centro de Informática
UnB - Universidade de Brasília