27 Fevereiro 2020, 16:00 • António Manuel Horta Branco
Prolog: Unificação, Busca de prova. Laboratório de programação.