AULA 18

20 Novembro 2018, 10:30 • Fernando Ferreira

Termo unificador mais geral (mgu). Algoritmo de unificação mais geral.

Introdução à quantificação. O quantificador existencial. Um exemplo.