SPLT 1988: Trégastel, France

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

Nouveaux formalismes

• N. Caridroit: Représentation des connaissances par ensemble d'atomes et clauses de Horn. 7-30
• Laurent Hascoët: A tactic-driven system for building proofs. 31-52
• L. Regnier: Logique linéaire et Prolog. 53-

Transformation de programmes

• Francis Alexandre, Jean-Pierre Finance, Alain Quéré: SPES: un système de transformation de programmes logiques. 69-84
• A. Belkhiri: Transformation de programmes Prolog avec insertion de "slash". 85-

Extensions

• Remi Legrand: Gel implicite, calcul formel et résolution d'équations en programmation logique. 105-120
• Jean-Jacques Chabrier, François Jacquenet: VEGA: une nouvelle méthode de programmation en logique. 121-142
• Mireille Blay-Fornarino, Anne-Marie Pinna-Dery: Intégration de concepts de la programmation en logique à un langage de schémas paramétré. 143-170
• Thierry Conrad: EQUATOR: a Many-Sorted Prolog based on Equational Unification. 171-184
• O. Nerrand, Claudette Sayettat: Prolog et les opérateurs temporels. 185-206
• A. Marquez: NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. 207-

Applications

• Françoise Berthier: Using CHIP to support decision making. 225-246
• Bernard Migault, François Rousselot, Bernard Keith, J. M. Jeltsch: Un système d'aide à l'expérimention en génie génétique. 247-266
• Huy Nam Nguyen, L. Ducousso: Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. 267-278
• R. Hascoet, J. Fumeron: De l'utilisation de Prolog pour des applications à vocation industrielle. 279-294
• E. Hubert, L. Battandier, D. Bonnard, P. Broyer: Du prototype à l'application: éléments de méthode et outils. 295-

Contrôle

• Christian Codognet, Philippe Codognet, Gilberto Filé: Yet another intelligent Backtracking method. 317-336
• Jean-Paul Delahaye: Stratégie générale d'exploration et coupe-choix. 337-360
• Stéphane Janot: Programmation logique avec des interpréteurs équitables. 361-

Prolog et Bases de données

• Hendrik Decker: Domain-Independent and Range-Restricted Formulas and Deductives Databases. 385-398
• Jean Michel Cornily: Couplage Prolog/base de données: un modèle asynchrone. 399-

Parallélisme

• Jean-Claude Syre, Philippe Robert, Jacques Chassin de Kergommeaux: Le système logique parallèle PEPSys. 425-454
• Christian Percebois, F. Guerin, G. Orzati: Parallélisme-OU et assertions Prolog. 455-470
• Jean Duprat: LAIOS: une exécution parallèle de Prolog par recopie des données. 471-490
• G. Richard, Antoine Rizk: Sémantique de Parlog, un langage logique parallèle. 491-

Implémentation

• Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant: Outils pour l'implémentation des interprètes Prolog. 515-528
• Louis Dewez, Jean-Michel Douin, Philippe Lucas, J. L. Pruvot: L'environnement Modulog. 529-

Papier Invité

• Jean-Louis Lassez: From Unification to Constraints. 543-