Algoritmi - implementazione dell'algoritmo di robinson

ciao ragazzi mi servirebbe una mano per proggetto di programmazione: devo creare un programma che prenda da tastiera due termini di logica dei predicati e vede se sono unificabili e se lo sono rilascia l'unificatore in questione.
bene io volevo fare questo programma con l'algoritmo di robinson ma non si trova l'implementazione.mi potete dare una mano?se avete qualsiasi consiglio per questo progetto è ben accetto grazie mille a presto

Ciao!

Credo che questa discussione possa interessarti: pierotofy.it/pages/extras/forum/87/1037067-algoritmo_di_risoluzione_di_robinson/

Ciao, avevo già visto quella discussione ma non mi aiuta con l'implementazione vera e propria di Robinson, ti sarei grato se riuscissi ad aiutarmi in qualche modo