Expressões
UNIFY
Substituição atual
{ }
Aguardando o primeiro passo.
Rastro de unificação
O que observar
Compare símbolo do predicado, aridade e argumentos. Variáveis podem receber termos, mas constantes incompatíveis, estruturas diferentes e o teste de ocorrência podem causar falha.