PROLOG
Unificação
- É a operação mais importante entre dois termos PROLOG.
- Dados dois termos, diz-se que eles se unificam se:
- Eles são idênticos, ou
- As variáveis de ambos os termos podem ser instanciadas com objetos de maneira que, após a substituição das variáveis por estes objetos, os termos se tornam idênticos.
- Exemplo
- os termos data(D,M,1994) e data(X,marco,A) unificam. Uma instanciação que torna os dois termos idênticos é:
D é instanciada com X;
M é instanciada com marco;
A é instanciada com 1994.
- Por outro lado, os termos data(D,M,1994) e data(X,Y,94) não unificam, assim como não unificam data(X,Y,Z) e ponto(X,Y,Z).