Bem Vindo à UC de Prolog

A UC inclui:

• Introdução à linguagem Prolog

  • Prolog as a Logical Language
  • Examples
  • Non-determinism
  • Functional Aspects
  • Prolog in Practice
  • Searching
  • TypeChecking
  • Input Output
  • State and the Data-base
  • Meta-Calls

• Exemplos de Utilização de Prolog

  • Grammars
  • Knowledge Bases
  • Compilers
  • Rule-Based Systems

• Extensões a Prolog

  • Tabling
  • Constraints
  • Datalog
  • Negation
  • SAT

Avaliação

A avaliação combina prática e teoria. Os componentes de avaliação são os seguintes:

• Trabalho: desenvolvido em grupos de até três alunos, vale 6 valores (valorizações extra sã possíveis para trabalhos muito acima da média)

• Programação: dois mini-trabalhos (4 valores); é obrigatório apresentar pelo menos um mini-trabalho:

  • Trabalho sobre Listas;
  • Trabalho sobre Pesquisa em Grafos;
  • Trabalho sobre Programação com Restrições.

• Exame: vale 10 valores

  • um teste modelo encontra-se disponivel;