PROLOG
Unificação
- Se os termos não unificam dizemos, dizemos que o processo FALHA.
- Se eles unificam, então o processo é bem-sucedido.
- As regras gerais que determinam se dois termos S e T unificam são:
- Se S e T são constantes, então S e T unificam somente se ambos representam o mesmo objeto;
- Se S é uma VARIÁVEL E t É QUALQUER COISA, ENTÃO s E t UNIFICAM COM s INSTANCIADA EM t. Inversamente, se T é uma variável, então T é instanciada em S.
- Se S e T são estruturas, unificam somente se:
- S e T tem o mesmo functor principal, e
- todos os seus componentes correspondentes também unificam. A instanciação resultante é determinada pela unificação dos componentes.