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)

• Programming in Prolog: Using The Iso Standard
• 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

• Toronto Tutorial

• 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. O trabalho terá de ser entregue até ao dia 16 de Junho. A entrega consistirá numa apresentação, num relatório sucinto e no programa.

• Exame: vale 14 valores. Um exame de anos anteriores está disponível

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