Systèmes à base de règles et Programmation par contraintes