Langage de règles et moteur d'inférences basés sur des contraintes et des actions — Nicolas Beldiceanu