Programação em Lógica

Código:

CC3012

Sigla:

CC3012

Nível:

300

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2014/2015 - 2S

Ativa?	Sim
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Licenciatura em Ciência de Computadores

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
L:CC	14	Plano de estudos a partir de 2014	2	-	6	56	162
MI:ERS	14	Plano Oficial desde ano letivo 2014	2	-	6	56	162

Língua de trabalho

Português - Suitable for English-speaking students

Objetivos

Introduzir os alunos ao paradigma de programação em lógica, como forma declarativa de programação, e definir a sua ligacão com outras componentes da L:CC como Compiladores, Bases de Dados e Intelig&encia Artificial.

Resultados de aprendizagem e competências

O aluno deverá ser capaz de aplicar a metodologia de programação em lógica em aplicações não triviais.

Modo de trabalho

Presencial

Pré-requisitos (conhecimentos prévios) e co-requisitos (conhecimentos simultâneos)

É recomendada alguma experiência em Lógica Computacional e Compiladores.

Programa

Prolog e relação com lógica de primeira ordem.
  - Unificação,
  - avaliação de queries -
  procura.
 Meta-level: cuts e negação, meta-predicados.
Modificação de Base de Dados.

Implementação de Meta-Interpretadores e sistemas periciais.

Tabulação e melhoramento da procura em Prolog,

Aplicações em Gramáticas e compiladore

Datalog.

Bibliografia Obrigatória

Bratko Ivan 1946-; Prolog programming for artificial intelligence. ISBN: 978-0-201-14224-2 pbk

Bibliografia Complementar

Sterling Leon; The art of Prolog. ISBN: 978-0-262-19338-2

Métodos de ensino e atividades de aprendizagem

A UC inclui avaliação na forma de um exame final, e um projeto de programação em Prolog. O exame inclui uma componente de programação. São incluidos mini-trabalhos para motivar a adaptação á UC

Software

yao prolog
swi-prolog

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Designação	Peso (%)
Exame	50,00
Participação presencial	50,00
Total:	100,00

Fórmula de cálculo da classificação final

Dado
  Projecto=1-6
  Mini-Projectso=1-4
  Exame=1-10

NOTA=Projecto+Mini-Projectos+Exame