Conclusion et perspectives
Programmation logique avec contraintes

Les logiciels disponibles actuellement sur le marché sont présentés en et dans [7].

Concernant les applications industrielles, très diverses [8], on peut dire que, pour l’instant, elles utilisent surtout les contraintes sur domaines finis. L’avantage présenté face aux méthodes traditionnelles, par exemple, celles de la recherche opérationnelle, est essentiellement celui de l’adaptation aisée face aux desiderata divers du client et de la souplesse face aux changements. On trouve en [9] une classification synthétique des champs d’application. Les classes d’applications passées en revue sont les suivantes : conception de circuits, placement (d’objets dans un espace défini), problème de découpe, allocation de parking, contrôle de trafic aérien, allocation de fréquence, configuration de réseaux (d’entrepôts, par exemple), planification de production, confection d’emploi du temps, rotation d’équipages, transport (organisation de tournées), affectation de personnel. Les problèmes les plus heureusement résolus paraissent être, à l’heure actuelle, les problèmes de planification, d’allocation, de transport et de rotation d’équipages. Ce rapport [8] signale aussi les causes d'échecs, qu’on retrouve en général en programmation : mauvaise compréhension du cahier des charges, mauvaises modélisation et heuristique, mauvais jeu de tests. D’une façon générale, il semble que, si les experts prennent bien soin d’avertir qu’il ne suffit pas de poser des contraintes pour que le problème soit résolu efficacement, les coûts de prototypage se révèlent effectivement remarquablement faibles en utilisant ce type de programmation.

Les directions de recherches actuelles dans le domaine sont nombreuses.

On peut citer, en particulier : la détermination de résolveurs exacts et complets pour les équations non linéaires (c’est un objectif majeur pour les chercheurs en calcul formel), la définition de nouvelles notions de contraintes (par exemple, contraintes floues, surcontraintes, contraintes ensemblistes), l’étude de contraintes dites concurrentes (permettant une programmation par agents, déclenchés par un événement signifié par le fait qu’une formule...