Après les précédentes Journées Francophones de Programmation en Logique qui se sont tenues respectivement à Lille (1992), Nîmes (1993) et Bordeaux (1994), le groupe de travail Programmation en Logique de l'AFCET, chapitre français de l'ALP, a choisi Dijon, capitale des Ducs de Bourgogne, comme site d'accueil pour son édition 1995.

Ces journées qui font suite aux séminaires de Programmation en Logique de Trégastel (1982-1990) sont aujourd'hui organisées avec la volonté de rendre compte des progrès significatifs théoriques mais aussi de la richesse de la recherche expérimentale (prototypes) et des développements industriels, notamment en Programmation par Contraintes.

Pour pouvoir répondre à ces objectifs (ambitieux !), les Journées comportent deux jours de programmes scientifiques et une journée dédiée aux prototypes de recherche et applications industrielles de la Programmation par Contraintes.

Pour "connaître et faire connaître" les travaux d'expérimentation en Programmation Logique et ses extensions aux contraintes, JFPL'95 organise, conjointement à la présentation des applications et développements industriels, un challenge des meilleurs prototypes de recherche.

Quatre conférences invitées et un tutorial vont permettre aux participants à ces journées de s'informer et de débattre sur de nouvelles orientations de recherche ainsi que sur les évolutions des produits industriels.

Le présent volume réunit les actes des communications prononcées et des prototypes présentés lors de ces trois journées. Les thèmes des différentes sessions sont les suivants :

- Contraintes

- Bases de données - Bases de connaissances

- Extensions

- Résolution

- Applications.