Algoritmo di backtracking ricorsivo function Ricerca-Backtracking (csp) returns una soluzione o fail return Backtracking-Ricorsivo({ }, csp) function Backtracking-Ricorsivo(ass, csp) returns una soluzione o fail if ass è completo then return ass var Scegli-var-non-assegnata(Variabili[csp], ass, csp) for each val in Ordina-Valori-Dominio(var, ass, csp) do if val consistente con ass in base a Vincoli[csp] then aggiungi [var=val] ad ass risultato Backtracking-Ricorsivo(ass, csp) If risultato = fail then return risultato rimuovi [var=val] da ass return fail
{}