.dsy:it. - prolog - regola rinomina variabile

.dsy:it.
//www.dsy.it

prolog - regola rinomina variabile

Posted by marco.b on 09-06-2008 12:08

buongiorno a tutti...
lla regola che si usa per rinominare una variabile x facendola diventare x' quale è?
se nell'albero ho già incontrato una x la volta dopo la rinomino?
poi alla fine se il ramo non fallisce come risultato devo solo prendere le variabili non rinominate?
queste regole sono semplici ma a lezione sono state spiegate facendole imparare in modo empirico e quando le ha dette esplicitamente mi sa che ero assente.