É objectivo deste curso levar os alunos a:
- Aprofundar e interiorizar os conceitos de programação
declarativa, mais concretamente segundo o paradigma
lógico
- Dominar o uso de predicados (cláusulas de Horn),
unificação e recursividade na resolução de problemas
- Estudar a implementação de estruturas de dados lineares
e não-lineares e respectivos algoritmos de manuseamento
em Programação Lógica
e, ainda, tornar os alunos aptos a desenvolver correcta e
eficientemente programas na linguagem Prolog.
Delfim F. Marado Torres
1998-06-16