SPLT 1985: Trégastel, France

@proceedings{DBLP:conf/jfplc/1985,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'85, S{\'e}minaire Programmation en Logique, 29-31 mai
               1985, Tr{\'e}gastel, France},
  booktitle = {SPLT},
  year      = {1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Architectures pour PROLOG

• Christian Percebois, Irène Durand, C. Simon: COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog.
• P. Clere: Architecture de l'unité de calcul symbolique de MAIA.
• M. Favre: Etude de langage Concurrent Prolog.
• Jean-Claude Syre, Jacques Noyé: Une revue des modèles parallèles pour PROLOG.

Transformation de programmes

• Pascal Yim: Transformation d'un programme algorithmique en programme Prolog.
• M. Kharoune: Manipulation formelle de programmes Prolog.
• Michel Billaud: Formalisation des structures de contrôle de PROLOG.

Nouveaux systèmes

• Y. C. Chan: FORTLOG = Fortran + Logique.
• Paul Y. Gloess: OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog.
• O. Oudot: STARLOG: une nouvelle interprétation des clauses de Horn.
• D. Sciamma, X. Sola, Aristide Mégrelis: XLOG: types, fonctions et tableaux dans Prolog.

Analyse de programmes

• Philippe Besnard: Sur la détection des boucles infinies en programmation en logique.
• Pierre Deransart, Gérard Ferrand: Détection d'erreurs en programmation en logique.
• Farid Ouabdesselam: Prolog avec égalité.
• Laurent Vieille: Le traitement des axiomes récursifs dans les bases de données déductives.

Systèmes experts

• B. Crepel: Utilisation de PROLOG II pour la réalisation d'un système expert.
• J. Rohmer, R. Lescoeur, D. Sciamma: BOOMRANG et ALEXANDRE ou "Comment aller de l'avant en arrière et vice-versa".
• Hervé Kauffmann, Alain Grumbach: Mondes et programmation en logique.

Applications

• Béatrice Duval, J. Y. Cras: Une solution Prolog au problème de Schubert.
• Rene Quiniou, Laurent Trilling: Des primitives pour la synchronisation des branches OU. Un exemple d'application.
• J. M. Jantke: Prolog et la Synergéthique.