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

Material de Apoio

• Livros sobre Prolog

  • Prolog Programming for Artificial Intelligence (4th Edition)
  • Prolog Programming in Depth
  • The Art of Prolog: Advanced Programming Techniques

• Tutoriais e material na www

  • Wikibooks
  • Introdução à Linguagem por John Fisher
  • Simples Tutorial com Exercicios
  • PROLOG PROGRAMMING

• Lista de Problemas e Soluções

  • P-99: Ninety-Nine Prolog Problems

• Extensões sobre Prolog

  • Tabled Prolog
  • Constraint Logic Programming
  • Datalog

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.

• Teste Não Presencial: vale 4 valores

  • este teste terá a mesma estrutura e tipo de questões do exame, e será feito individualmente num lugar escolhido pelo estudante.
  • usaremos software de comparação de testes, se necessário.

• Exame: vale 10 valores

  • um teste modelo estará disponivel na altura;

• Valorizações: trabalhos acima da media poderão ser avaliados para mais de 6 valores. Trabalhos considerados "Awesome" dispensam do exame.