SPLT 1984: Plestin-les-Grèves, France

@proceedings{DBLP:conf/jfplc/1984,
  editor    = {Mehmet Dincbas},
  title     = {SPLT'84, S{\'e}minaire Programmation en Logique, 25-27 avril
               1984, Plestin-les-Gr{\`e}ves, France},
  booktitle = {SPLT},
  year      = {1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Implémentation de PROLOG

• Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro: Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG.
• A. Lartigue, Christian Percebois: Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG.
• Aristide Mégrelis, D. Sciamma, T. Banel: Premières mesures sur l'interpréteur de PROLOG II.
• Patrice Boizumault: Un modèle de trace pour PROLOG.

PROLOG et Bases de Données

• Gia Toan Nguyen, J. Olivares, P. Winninger: Coopération de PROLOG et d'un SGBD généralisé: principes et applications.
• Christiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données.
• J. Rohmer: MULTISCHUSS: une architecture parallèle pour les bases de connaissances et la logique.

Langage naturel

• Celestin Sedogbo: PROLOG et le traitement sémantique des langues naturelles.
• Simon Sabbagh: Traduction sémantique à l'aide de grammaires logiques.
• V. Granger, Patrick Saint-Dizier: Correction de fautes de grammaire et génération de langage naturel en PROLOG.
• Rene Quiniou: Analyse ascendante d'une grammaire de Montague en PROLOG.

Systèmes experts

• Michèle Courant, Sophie Robin, Laurent Trilling: Un système de traitement de petites annonces.
• Abderrahmane Aggoun, S. Bourgault: SYNTHEX: un système expert pour la synthèse vocale à partir du texte.
• Michel Rueher: La programmation logique: un outil pour l'aide à la formulation du raisonnement.

PROLOG et LISP

• Paul Y. Gloess: LOGIS, un système PROLOG dans un environnement LISP.
• Mireille Ducassé, J. Faget, Alain Grumbach: A propos du mariage LISP-PROLOG: les bases du langage FROG.

Sémantique des programmes logiques

• Jean-Jacques Chabrier, J. Durand: Une strategie de réécriture pour les programmes logiques.
• Pierre Deransart, Jan Maluszynski: Modélisation du flot de données par des schémas d'attributs dans les programmes logiques.

Applications

• B. Clavieras, Yves Kodratoff: Logique et apprentissage.
• Jean-François Monin: Ecriture d'un compilateur "réel" en PROLOG.