SPLT 1989: Trégastel, France

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

Sémantique de la programmation en Logique

• Pascal Yim: Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles. 7-24 BibTeX
• Philippe Ézéquel: Sur la décomposabilité de programmes logiques. 25-40 BibTeX
• Pierre Deransart: Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques. 41- BibTeX

Prolog et Objets

• Marcel Gandriau, Christiane Massoutie: Classes et Types: aides à la programmation en logique. 57-70 BibTeX
• Paul Y. Gloess: U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. 71-96 BibTeX
• Jean-Luc Guérin, Paul Y. Gloess: Programmation Logique et Objets sans variables par le dessin. 97- BibTeX

Analyse de Programmes

• Pierre Deransart, Gérard Ferrand, Michel Téguia: Test d'occurence en PROLOG et grammaires attribuées. 113-142 BibTeX
• Francis Alexandre: Une heuristique pour transformer des programmes logiques. 143-158 BibTeX
• François Jacquenet: Le traitement des exceptions en programmation logique avec VEGA. 159- BibTeX

Spécifications en Programmation en Logique

• Pierre Azéma, François Vernadat, Jean Christophe Lloret: Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. 187-212 BibTeX
• Bruno Marre: Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. 213- BibTeX

Langage Naturel

• C. Delaunay, Patrick Saint-Dizier: Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liage. 237-264 BibTeX
• T. Chanier, C. Fournier: ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications. 265- BibTeX

Nouveaux formalismes

• Nadine Cullot, Jean-Jacques Chabrier: STRALOG: Système expérimental de programmation logique multi-stratégies. 287-310 BibTeX
• Jean-Paul Delahaye, Philippe Mathieu: Logique Partielle et Prolog. 311- BibTeX

Environnements

• Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse: Generic Extensions of a Prolog Browser. 331-344 BibTeX
• Giuseppe Cattaneo, Vincenzo Loia, Michel Quaggetto: Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration. 345- BibTeX

Négation

• Jean-Francois Puget: Evaluation partielle des échecs en Prolog. 361-378 BibTeX
• Didier Ladret: Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! 379-402 BibTeX
• Pierre Deransart, Gérard Ferrand: Une vue méthodologique de la Programmation en Logique avec négation. 403- BibTeX

Parallélisme

• Christian Codognet, Philippe Codognet: Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. 423-440 BibTeX
• D. Bourget, Remi Legrand: Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. 441- BibTeX

Extensions

• Franck Porcher, Henri Behringer: Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle). 459-478 BibTeX
• Pascal Brisset, Olivier Ridoux: Quelques applications du filtrage paresseux. 479- BibTeX

Implémentation

• P. Jary, X. de Joybert, P. Arsac: Sélection de clauses en Prolog. 499-522 BibTeX
• J. F. Dazy, J. M. Pozas: Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog. 523-540 BibTeX
• Remi Legrand: Relationnalisation des programmes logiques. 541- BibTeX

Applications

• R. Vives: Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c. 557-576 BibTeX
• Huy Nam Nguyen, L. Ducousso: Automated synthesis of combinational logic using problem solving techniques. 577-582 BibTeX
• N. Cherif, S. Bourgault: Génération de scènes animées à partir du texte. 583- BibTeX

Papier Invité

• Hervé Gallaire: Programmation en Logique: faire encore plus. 605- BibTeX

Epilogue

• Epilogue. 607- BibTeX