JFPL 1993: Nimes, France

@proceedings{DBLP:conf/jfplc/1993,
  editor    = {Philippe {\'E}z{\'e}quel},
  title     = {2{\`e}mes Journ{\'e}es Francophones de Programmation Logique
               (JFPL 93), Nimes, France},
  booktitle = {JFPL},
  publisher = {TEKNEA},
  year      = {1993},
  isbn      = {2-87717-034-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Conférences invitées (Invited Talks)

• Jacques Chassin de Kergommeaux: Systèmes de programmation logique OU parallèles. 3
• Peter Van Roy: Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. 5

Applications et implémentations

• Christian Tahon, Gislaine Kozicki, Gérard Gorthcinsky: Un modèle de programmation séquencée pour les systèmes à process discontinu. 9-28
• Pascal Bernard: Some elements of methods to deal with equivalences in specification and program development. 29-48
• Mohamed Benothman, Gilles Berger-Sabbatel: Gestion de la mémoire cache pour une machine symbolique. 49-65

Langage naturel

• Solange Coupet-Grimal: Représentation sémantique des langues naturelles en Prolog. 69-91
• Serge Le Huitouze, Pascale Louvet, Olivier Ridoux: Les grammaires logiques et lambda-Prolog. 93-108
• Laurent Henocque: Model search with equality: a language and incremental proof procedure for discourse analysis. 109-125

Représentation de la connaissance

• Daniel Pacholczyk, Jean-Marc Pacholczyk: Une approche logique de la non-monotonie. 129-153
• Jean-Paul Delahaye, Philippe Mathieu: An achievement by part method to solve the incompleteness of forward chaining. 155-171

Transformation de programmes

• Pascale Louvet: Mise en oeuvre d'un traducteur de lambda-Prolog et L_lambda. 175-196
• Jacques Malenfant, François-Nicolas Demers: Évaluation partielle pour l'implantation efficace de la réflexion de comportement. 197-213
• Ulrich Neumerkel: Une transformation de programme basée sur la notion d'équations entre termes. 215-229
• Kaninda Musumbu: Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques? 231-241

Contraintes

• Marc-Michel Corsini, Antoine Rauzy: CLP(beta) joue la transparence. 245-261
• Julian Fowler: Preferred constraints as optimization. 263-272
• Jean-Louis Imbert: Élimination de Fourier: que choisir? 273-294
• Jean-Louis Imbert: Élimination de variables dans les systèmes de contraintes linéaires. 295-318
• Frédéric Mesnard: Approximations entre langages de programmation logique avec contraintes. 319-341
• Christophe Varnier, Pierre Baptiste, Bruno Legeard: Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». 343-363

Tutorial

• Yves Bekkers: Programmation d'ordre supérieur en lambda-Prolog. 367-390