successor-arithmetics

3La chaleur

2Répondre

Unification - Infinité de résultats

Je développe (en Java), pour le plaisir, une application qui utilise un algorithme d'unification. J'ai choisi que mon algorithme d'unification renvoie toutes les unifications possibles. Par exemple, s

java prolog clpfd unification successor-arithmetics 2010-11-09

---