Lógica para Programação
pt
en
Horário
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Pré-requisitos
Componente Laboratorial
Componente de Programação e Computação
Competências Transversais
Princípios Éticos
Notas
Slides
Práticas
Material de Apoio
Aulas de Dúvidas
Exemplos de Prolog
Diferenciação Simbólica em Prolog
MAP1
Projecto
MAP2
LP_notas
