Description du livre
Les Journées Francophones de Programmation Logique et Programmation par Contraintes, JFPLC'97, ont pour but de faire le point sur les recherches récentes avec une attention particulière sur les inter-relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application. Cet ouvrage est le recueil des articles acceptés, des résumés des conférences invitées et des contributions spécifiques de la session industrielle des sixièmes Journées Francophones de Programmation Logique et programmation par Contraintes. JFPLC'97 fait suite aux précédentes rencontres qui se sont tenues à Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Nîmes (93) et Lille (92).