Paris 7 M1: Prolog et programmation par contraintes

Examen du 13 janvier 2014 - Durée: 2h00. Documents ... Corrigé: 1. Il suffit d'une
contrainte simple qui porte sur deux variable (la noeud-consistance est donc.

Part of the document