Controllo, lo è l'unificazione nominale?

Question

Nell'unificazione, esiste un "ricorso". Come $ x = a , x $ non riesce a trovare una sostituzione per $ x $ poiché appare anche sul lato destro. L'unificazione dell'unificazione del primo ordine, l'unificazione di ordine superiore ha tutti verificarsi.

la carta Unificazione nominale ha descritto una sorta di unificazione basata su concetti nominali. Ma non ho menzionato affatto il "ricorso in occasione".

Quindi, sto pensando perché? Ha un ricorso in occasione?