SPLT 1987: Trégastel, France

SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France. 1987

@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-

Last update Fri May 25 08:24:47 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page