Semana 2

1 Março 2018, 14:00 • António Manuel Horta Branco

Instrumentos para Modelação do Conhecimento

(com laboratório)

Na aula:
Prolog: Unificação, Busca de prova. Laboratório de programação.

Após a aula:
estudar manual: LPN: Cap. 2.
exercícios a resolver: exs. LPN 1.1-1.5
exercícios a resolver: exs. LPN 2.1-2.4

Antes da próxima aula:
estudar manual: LPN: Cap. 3