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
• Stella Zwecker, Guy Juanole, Omar Amyay: Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. 23-

Extensions

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

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-

Prolog et Objets

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

Nouveaux formalismes

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

Génération de jeux de test

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

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
• Ahmed Ferchichi: Relational interpretation of logic programs. 293-310
• Jean-Paul Delahaye, François Denis: Operational semantics of Standard Prolog: an axiomatic approach. 311-

Parallélisme

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

Négation

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

Programmation par contraintes

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

Implémentation

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

Papier Invité

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

Chute

• Réflexion en cours. 587-