Aula 18 - TP13
23 Novembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Método de resolução: exercícios 92, 93(2) e 93(3).
Unificação de termos: exercícios 94 e 95(1). Foi justificada a resposta (negativa) à questão do exercício 95(1), recorrendo ao algoritmo de unificação mais geral (algoritmo MGU).