JFPL 1992: Lille, France

@proceedings{DBLP:conf/jfplc/1992,
  editor    = {Jean-Paul Delahaye and
               Philippe Devienne and
               Philippe Mathieu and
               Pascal Yim},
  title     = {JFPL'92, 1$^{\mbox{{\`e}res}}$ Journ{\'e}es Francophones de Programmation Logique, 25-27
               Mai 1992, Lille, France},
  booktitle = {JFPL},
  year      = {1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Contraintes (I)

• André Chamard, F. Decès, Annie Fischler: Application du langage CHIP à un problème complexe d'ordonnancement. 3-17
• Bruno Legeard, Emmanuel Legros: Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. 18-34
• D. Ranson, J. P. Lepape: BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. 35-50
• Abderrahmane Aggoun, Nicolas Beldiceanu: Extending CHIP in order to solve complex scheduling and placement problems. 51-

Théorie (I)

• Marianne Haberstrau: ECOLOG: un Environnement pour la programmation en LOgique COntrainte. 69-86
• Eric Wegrzynowski, Jean-Paul Delahaye: The grand loop semantics for logic programs. 87-106
• Sadeph Saidi: Unification associative dans le langage de programmation grammaticale logique AFFLOG. 107-

Parallélisme

• Eric Vétillard: Expériences de parallélisme en Prolog III. 129-142
• H. Bourzoufi, Gilles Goncalves, Bernard Toursel: Un modèle de programmation logique OU-parallèle facilitant la prise en compte du travail spéculatif. 143-161
• Mounira Belmesk, Zineb Habbas: Une algèbre de processus pour la programmation logique parallèle. 162-

Theorie (II)

• Céline Rouveirol, Jean-Francois Puget: Approche logique de la généralisation en présence de théorie du domaine. 179-193
• Philippe Balbiani: Sur la finitude des dérivations de la programmation en logique. 194-209
• Ahmed Ferchichi: Spécification relationelle déductive de programmes logiques. 210-231
• Sylvie Calabretto, Pascal Yim: La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes. 232-

Prolog et Objets

• Jacques Malenfant: Architectures méta-réflexives en programmation logique par objets. 253-267
• Chu Min Li, Paul Y. Gloess: Realizing an efficient and incremental access to an object oriented database with Prolog. 268-283
• Christine Solnon, Michel Rueher: Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. 284-

Contraintes (II)

• Antoine Rauzy: Contraintes booléennes et gestion d'arbres des défaillances. 301-313
• Olivier Lhomme: Programmation logique à contraintes et propagation d'intervalles. 314-327
• Frédéric Mesnard, Jean-Gabriel Ganascia: CLP(X) for proving prgram properties. 328-

Analyse de programmes

• Mireille Ducassé: Analysis of failing Prolog Executions. 341-352
• Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Termination induction by means of an abstract OLDT resolution. 353-373
• Marc-Michel Corsini: Abstract interpretation can improve the efficiency of the bachtracking rule. 374-385
• Baudouin Le Charlier: Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite. 386-

Implémentation

• Igor Stéphan: L'inheritance near-Horn Prolog en Prolog. 403-419
• Gilles Berger-Sabbatel, A. Jemai, Mohamed Benothman: Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips. 420-

Conférences invitées

• Mark Wallace: New trends in constraint logic Programming.
• Maurice Bruynooghe: Abstract interpretation for constraint logic programming.