Programmation par contraintes

Le langage de programmation qu'utilise ECOVAL pour décrire les processus élémentaires de fabrication des produits à partir de ressources relève de ce qu'on appelle la programmation par contraintes.

La description d'une opération comme une recette de cuisine (pour faire un tarte pour 6 personnes, prendre 250 g de farine et 125 g de margarine etc.) vous laisse en effet libre de poser à ECOVAL le problème par un bout ou l'autre : "combien de farine me faut-il pour ...?" ou bien "Pour 17 personnes, combien me faut-il de ... ?".

L'originalité de l'implémentation de programmation par contraintes que propose ECOVAL est la résolution immédiate du problème : toute déclaration est immédiatement prise en compte et l'affichage reflète à tout moment le résultat de toutes les contraintes.

C'est donc un moteur original que Diadème a développé pour l'occasion, ainsi qu'un langage puissant d'expression des problèmes, comprenant des structures comme les conditions et les blocs paramétrés.

En outre, ECOVAL met à votre disposition des outils de mise au point de vos programmes, adaptés à la programmation par contraintes : visualisation des sous- et sur-déterminations, débogueurs de contraintes, etc.

En définitive, ECOVAL est non seulement un puissant logiciel de contrôle de gestion et d'évaluation environnementale, mais aussi une plateforme d'initiation à la programmation par contraintes.