Lógicas Clássicas
Resolução
O ALGORITMO DE UNIFICAÇÃO - UNIFICA (L1, L2)
4. Para i=1 até o número de elementos de L1, faça:
4.1. Chame UNIFICA com o i-ésimo elemento de L1 e o i-ésimo elemento de L2, colocando o resultado em S.
4.2. Se S = F, retornar F.
4.3. Se S não for igual a NIL, faça:
4.3.1. Aplicar S tanto ao final de L1 como de L2.
4.3.2. SUBST := APPEND(S,SUBST)
4.3.3. Retornar SUBST