SPLT 1990: Trégastel, France

@proceedings{DBLP:conf/jfplc/1990,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'90, 8$^{\mbox{{\`e}me}}$ S{\'e}minaire Programmation en Logique, 16-18 mai 1990, Tr{\'e}gastel,
               France},
  booktitle = {SPLT},
  year      = {1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Applications

• J. Durand: Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix. 7-22 BibTeX
• Stella Zwecker, Guy Juanole, Omar Amyay: Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. 23- BibTeX

Extensions

• Sadeph Saidi, Jean-François Boulicaut: AFFLOG: une implantation de grammaires à deux niveaux pour l'étude de la Programmation Grammaticale Logique. 45-70 BibTeX
• Serge Le Huitouze: Une nouvelle structure de données pour l'implémentation des extensions de Prolog. 71-88 BibTeX
• Anna-Maria Emde, Mireille Ducassé: Automated debugging of non-terminating Prolog programs. 89- BibTeX

Prolog et Base de Données

• Selmin Nurcan, Jacques Kouloumdjian, Li Lei: Un gestionnaire de connaissances reposant sur l'intégration de la programmation logique et des bases de donnés relationnelles. 105- BibTeX

Prolog et Objets

• T. Reix: SP-Object: Extension objet dans le système SP-Prolog v2.1. 127-138 BibTeX
• Jean-Marc Andreoli, Remo Pareschi: Formulae as Active Representations of Data. 139-160 BibTeX
• Jacques Malenfant, Guy Lapalme, Jean G. Vaucher: Implantation du langage de programmation logique, par objets e répartie ObjVProlog-D. 161- BibTeX

Nouveaux formalismes

• S. Lapiquonne: Génération incrémentale de bases de règles trivaluées cohérentes. 187-206 BibTeX
• Eric Villemonte de la Clergerie: DyALog: une implantation des Clauses de Horn en Programmtion Dynamique. 207-228 BibTeX
• Stéphane Bressan: Formes de Pierce en logique propositionnelle. 229- BibTeX

Génération de jeux de test

• Liliane Lardot, Norbert Batllou: Une théorie du test en programmation logique. 243- BibTeX

Sémantique de la Programmation en logique

• M. Bergère, Gérard Ferrand: Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. 263-292 BibTeX
• Ahmed Ferchichi: Relational interpretation of logic programs. 293-310 BibTeX
• Jean-Paul Delahaye, François Denis: Operational semantics of Standard Prolog: an axiomatic approach. 311- BibTeX

Parallélisme

• Jacques Briat, M. Favre, Cláudio F. R. Geyer: OPERA: Ou parallélisme et Régulation Adaptive en Prolog. 329-350 BibTeX
• Christian Codognet, Philippe Codognet, Marc-Michel Corsini: Abstract Interpretation from Prolog to Concurrent Prolog. 351-370 BibTeX
• Mounira Belmesk: Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". 371- BibTeX

Négation

• Jean-Paul Delahaye, V. Thibau: A new model semantics for a program with negation. 389-404 BibTeX
• Yves Bekkers: Une contrainte de négation par l'échec en Prolog. 405- BibTeX

Programmation par contraintes

• Jin-Kao Hao, Jean-Jacques Chabrier: Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming. 431-446 BibTeX
• Franck Porcher: COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming. 447-462 BibTeX
• J. P. Lepape, D. Ranson: CLEF_v1 et la Programmation en Logique avec Contraintes. 463-486 BibTeX
• Abderrahmane Aggoun, Nicolas Beldiceanu: Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. 487-510 BibTeX
• Jean-Marc Boï, Antoine Rauzy: La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. 511-522 BibTeX
• X. Cousin: Relâchement de contraintes en Programmtion en Logique avec Contraintes. 523- BibTeX

Implémentation

• Pascal Brisset: Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. 527-550 BibTeX
• Olivier Ridoux, H. Tonneau: Une mise en oeuvre de l'unification d'expressions booléennes. 551-570 BibTeX
• Jean François Pique: Décompilation conservant le déterminisme. 571- BibTeX

Papier Invité

• Giorgio Levi: A Unified Approach to Logic Programs Semantics based on Constraints. 583- BibTeX

Chute

• Réflexion en cours. 587- BibTeX