La programmation logique utilise les objets et les opérations de la logique élémentaire. La programmation logique par contraintes va plus loin en ajoutant la possibilité de raisonner sur des domaines qui ne sont pas élémentaires du tout, comme des systèmes d'équations. Les environnements de programmation par contraintes proposent une panoplie toujours plus large de domaines de contraintes. Cela permet de résoudre un grand nombre de problèmes de décision, d'optimisation, de diagnostic, etc. et des combinaisons de ceux-ci, qui étaient traditionnellement résolus par des techniques de recherche opérationnelle. Cet ouvrage regroupe des contributions sélectionnées et présentées aux septièmes Journées Francophones de Programmation Logique et programmation par Contraintes. Celles-ci font suite aux JFPL et JFPLC qui se sont tenues à Lille (1992), Nîmes (1993), Dijon (1995), Clermont-Ferrand (1996) et Orléans (1997). L'édition 1998 s'est déroulée à l'Ecole des Mines de Nantes. Ce cycle de journées est une des activités de l'Association Française pour la Programmation par Contraintes, l'AFPLC, qui est le chapitre français de l'ALP, Association for Logic Programming.
eBook, formats inclus : PDF