Carga Horária: 30 horas teóricas + 45 horas Lab.
Créditos: 3
Horário: 4a feiras das 16:10 às 18:00
Docente: Carlos Damásio (Prof. Aux. FCT/UNL)

A disciplina Programação Declarativa visa fornecer aos estudantes os fundamentos práticos de programação e respectivo software para a  construção de sistemas incorporando tecnologias da Inteligência Artificial. A disciplina tem um carácter prático e aplicado, sendo de grande interesse para outras cadeiras do Mestrado, permitindo uniformizar os conhecimentos de base dos alunos.

Abordam-se as linguagens de programação em lógica e as linguagens de programação  funcionais, fazendo-se uma identificação dos dialectos e sistemas utilizados actualmente.

Uma linguagem de cada  paradigma será estudada em profundidade, relembrando-se as técnicas de programação específicas de cada um deles, com maior ênfase na programação em lógica.

A avaliação será efectuada através de um conjunto de trabalhos práticos servindo simultaneamente para sedimentar conceitos e adquirir à vontade na utilização das linguagens. Espera-se que sejam desenvolvidas pequenas aplicações tipo ilustrativas de técnicas, nomeadamente sistemas de pesquisa, demonstradores de teoremas, parsers, compiladores, meta-interpretadores, sistemas periciais, etc.