AULA 18

17 Novembro 2017, 09:30 • Fernando Ferreira

Termos unficáveis e substituições unificadoras. A noçaõ de termo unificador mais geral. O algoritmo mgu (most general unifier).