SPLT 1987: Trégastel, France

@proceedings{DBLP:conf/jfplc/1987,
  title     = {SPLT'87, S{\'e}minaire Programmation en Logique, 19-21 mai
               1987, Tr{\'e}gastel, France},
  booktitle = {SPLT},
  year      = {1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Sémantique de la programmation en logique

• Gérard Ferrand: Une reconstruction de la programmation en logique avec négation. 7-28
• Pierre Deransart: Preuves de correction partielle des programmes logiques. 29-

Extensions

• Laurent Fribourg: List concatenation via extended unification. 45-58
• J. P. Lepape, Serge Bourgault, D. Ranson: LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique. 59-76
• David Chan, Pierre Dufresne, Reinhard Enders: PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. 77-108
• Paul Y. Gloess, Dung T. Nguyen: Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog. 109-118
• Thierry Conrad: Termes typés et termes globaux en Prolog. 119-130
• Jean-François Monin, E. Barrielle: Est-ce que Prolog sait lire? 131-140
• Louis Dewez, E. Mafety: Modulog "isa" Prolog. 141-

Détection des boucles

• S. Pelhat: Les boucles dans Prolog: structures et origines. 153-

Applications

• Hendrika Buelinckx, Ph. Francois, M. Fregier: Une implémentation de grammaire de forme en Prolog II. 173-184
• J. Fumeron: De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle. 185-210
• Gustavo Arango: Prolog est-il un outil idéal pour la construction de prototypes? 211-

Implémentation

• Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson: Compilation de Prolog sur une machine de traitement symbolique. 225-244
• L. Chevalier, Serge Le Huitouze, Olivier Ridoux: Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. 245-

Spécification

• Nadya Tareb, Yves Kodratoff: Synthèse de spécifications à partir de programmes. 265-

Contrôle

• Jean-Paul Delahaye: Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix. 285-306
• A. Belkhiri: Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution. 307-

Nouveaux formalismes

• Remi Legrand: Le calcul relationnel au service de l'implantation d'un langage de programmation logique. 333-

Mécanismes d'explication

• Claire Saurel: EXPLINEG1: Une méthode de génération d'explications négatives dans les systèmes à base de connaissances formalisées en logique des prédicats. 347-358
• Jean-Marc Pugin: Using integrity constraints to control hypotheses formation. 359-

Environnements

• A. El Mhamedi: Interface Prolog-Graphique. 379-390
• Celestin Sedogbo, Franz Guenthner: Some remarks on the treatment of errors in natural language processing systems. 391-

Parallélisme

• Philippe Codognet: Programmation logique parallèle 87. 411-440
• R. Elboussarghini, D. Herman: Interprétation parallèle de Prolog et Bases de données: Une application de l'algorithme de jointure par tri et composition. 441-

Sémantique de la programmation en logique

• Pierre Deransart, C. Moss, G. Richard: Spécification formelle de Prolog standard. 455-

Objets et Prolog

• Thierry Gandilhon: Proposition d'une extension objet minimale pour Prolog. 483-506
• M. Arnoux, G. Becker, M. C. Thomas: Un système de frames expertes en Prolog. 507-

Mesures

• Brice Lepape, M. Sellami, J. P. Aubert: Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances. 529-

Papier invité

• Jean-Marie Nicolas: Sur l'intégration des technologies IA et BD. 545-