Instrumentos para Modelação da Linguagem
23 Fevereiro 2017, 16:00 • António Manuel Horta Branco
(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