Este trabalho prático tem como principais objectivos:
Para o efeito, esta folha contém quatro enunciados, dos quais
deverá resolver pelo menos um. Esses enunciados são,
propositadamente, deixados relativamente vagos por forma a
respeitar a capacidade imaginativa e de organização de cada
grupo e, até, para nos permitir avaliar soluções diferentes de
grupo para grupo.
Quanto ao relatório a elaborar, para entregar na altura
da apresentação do trabalho, deve ser claro e sucinto e,
além do respectivo enunciado e listagem do programa
(apresentados em apêndice), deverá conter uma explicação dos
predicados incluídos na BC, bem como exemplos de execução em
que se mostrem os resultados produzidos para várias questões.