Os estudantes que terminam com sucesso esta unidade curricular serão capazes de:

1. Explicar o funcionamento essencial dos algoritmos de dedução automática baseados na resolução;
2. Explicar o funcionamento essencial dos sistemas de execução da linguagem Prolog;
3. Desenvolver, testar e corrigir programas na linguagem Prolog;
4. Usar os aspetos fundamentais da programação não determinista;
5. Escrever relatórios onde justificam os comportamentos de programas observados e as decisões de desenho tomadas.

Ficha de Unidade Curricular