Lógicas Clássicas
Resolução
O ALGORITMO DE UNIFICAÇÃO
- Para apresentar a unificação, consideramos as fómulas como lista em que o primeiro elemento é o nome do predicado e os elementos restantes são os argumentos.
- Exemplo:
- (TentarAssassinar Marco Cesar)
- (TentarAssassinar Marco (Soberanode Roma))
- Para tentar unificar dois literais, primeiro conferimos se seus primeiros elementos são iguais. Caso contrário não há meio de serem unificados, independentemente de seus argumentos.
- Se o primeiro casar, podemos ocntinuar com o segundo e assim por diante.
- Constantes, funções e predicados diferentes não podem casar, os idênticos podem. Uma variável pode casar com outra variável, ou com qualquer constante, função ou expressão de predicados.