aleandro03 (Normal User)
Newbie
Messaggi: 15
Iscritto: 20/05/2013
|
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
|
|
Poggi Marco (Member)
Guru
Messaggi: 969
Iscritto: 05/01/2010
|
|
|
aleandro03 (Normal User)
Newbie
Messaggi: 15
Iscritto: 20/05/2013
|
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
|
|