Carga Horária: 30 horas teóricas + 45 horas Lab.
Créditos: 3
Docente: Salvador Abreu (Prof. Assoc. UE)

• Programação não-declarativa
• Tipos de não-determinismo (don’t know, don’t care)
• Resolução SLD. Leitura procedimental da Lógica de predicados de 1ª ordem
• Adequação da LP1 à implementação como linguagem de programação de uso geral
• Modelo operacional de Prolog. Pilha de pontos de escolha. “Trail”
• Co-rotinagem, suspensão, concorrência
• Outros modelos de pesquisa do espaço de soluções. Sistemas de re-escrita de árvores e/ou: AKL, EAM
• Heurísticas para melhorar a exploração de árvores de pesquisa: retrocesso inteligente, “first-trail”, “pruning” inteligente, selecção baseada em outros critérios
• Programação com tabulação. Programação dinâmica. 
• Detecção de ciclos.