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.
Editeur : Hermes Science Publications
Publication : 1 juin 2008
Intérieur : Noir & blanc
Support(s) : Livre numérique eBook [PDF]
Contenu(s) : PDF
Protection(s) : Marquage social (PDF)
Taille(s) : 11,5 Mo (PDF)
Langue(s) : Français
Code(s) CLIL : 3193
EAN13 Livre numérique eBook [PDF] : 9782746229655
EAN13 (papier) : 9782866016913
6,99 € 5,99 €