.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- prolog - regola rinomina variabile (http://www.dsy.it/forum/showthread.php?threadid=35303)

prolog - regola rinomina variabile

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.