Contrato de Aprendizagem

I. Objetivos

Expetativas e Objetivos

Objetivos

Pretende-se com esta unidade curricular desenvolver o conceito da programação em lógica, isto é, a utilização da lógica de 1ª ordem para resolver problemas de programação.

Durante a unidade curricular, espera-se que os estudantes:

• adquiram conhecimento do modelo de programação em lógica;
• pratiquem a programação e resolução de problemas num ambiente de desenvolvimento de Prolog;
• adquiram gradualmente o conhecimento da sintaxe e da semântica da linguagem Prolog;
• adquiram gradualmente conhecimento dos predicados essenciais para aplicarem na sua programação;
• apliquem técnicas de controlo do fluxo de programa para garantir a eficiência e eficácia das soluções;
• aprendam a consultar guias de referência da linguagem Prolog por forma a utilizar todas as potencialidades da linguagem.