SPLT 1988: Trégastel, France

Serge Bourgault, Mehmet Dincbas (Eds.): SPLT'88, 7^ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France. 1988 BibTeX

@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 BibTeX
Laurent Hascoët: A tactic-driven system for building proofs. 31-52 BibTeX
L. Regnier: Logique linéaire et Prolog. 53- BibTeX

Transformation de programmes

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

Extensions

Remi Legrand: Gel implicite, calcul formel et résolution d'équations en programmation logique. 105-120 BibTeX
Jean-Jacques Chabrier, François Jacquenet: VEGA: une nouvelle méthode de programmation en logique. 121-142 BibTeX
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 BibTeX
Thierry Conrad: EQUATOR: a Many-Sorted Prolog based on Equational Unification. 171-184 BibTeX
O. Nerrand, Claudette Sayettat: Prolog et les opérateurs temporels. 185-206 BibTeX
A. Marquez: NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. 207- BibTeX

Applications

Françoise Berthier: Using CHIP to support decision making. 225-246 BibTeX
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 BibTeX
Huy Nam Nguyen, L. Ducousso: Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. 267-278 BibTeX
R. Hascoet, J. Fumeron: De l'utilisation de Prolog pour des applications à vocation industrielle. 279-294 BibTeX
E. Hubert, L. Battandier, D. Bonnard, P. Broyer: Du prototype à l'application: éléments de méthode et outils. 295- BibTeX

Contrôle

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

Prolog et Bases de données

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

Parallélisme

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

Implémentation

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

Papier Invité

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