Résolution de CSP

[Warfdog]

Bonjour,
je souhaite implémenter deux algos permettant de résoudre différents CSP

Sous scheme je défini un CSP sous forme de liste (X,D,C)
X=>Nom de variable,
D=>Domaine de définition de X
C=>Contrainte (ou liste des successeurs de la variable X)

Le but étant de comparer deux algorithmes de résolution sur des problèmes complexes.

Là ou je bloque, l'implémentation d'un backtracking chronologique. (de manière récursive)

en entrée : Un csp.
en sortie : Une solution ou une instance vide si on entre un CSP qui ne possède pas de solution

des idées?

Merci d'avance.