Competências a desenvolver |
Pretende-se que, no final desta Unidade Curricular, o estudante tenha adquirido as seguintes competências
- utilizar de forma eficaz um ambiente de desenvolvimento em Prolog;
- distinguir e relacionar o modelo teórico da programação em lógica pura e o modelo prático computacional da linguagem Prolog;
- desenvolver técnicas de programação em Prolog de acordo com o tipo de problema a resolver;
- formular problemas complexos utilizando a programação em lógica;
- desenvolver, depurar e testar programas em lógica para os problemas formulados.