JFPL 1993: Nimes, France

Philippe Ézéquel (Ed.): 2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France. TEKNEA 1993, ISBN 2-87717-034-9 BibTeX

@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 BibTeX
Peter Van Roy: Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. 5 BibTeX

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 BibTeX
Pascal Bernard: Some elements of methods to deal with equivalences in specification and program development. 29-48 BibTeX
Mohamed Benothman, Gilles Berger-Sabbatel: Gestion de la mémoire cache pour une machine symbolique. 49-65 BibTeX

Langage naturel

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

Représentation de la connaissance

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

Transformation de programmes

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

Contraintes

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

Tutorial

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