JFPLC'2000 Neuviиmes Journйes Francophones de Programmation Logique et Programmation par Contraintes