SPLT 1986: Trégastel, France

@proceedings{DBLP:conf/jfplc/1986,
  title     = {SPLT'86, S{\'e}minaire Programmation en Logique, 21-23 mai
               1986, Tr{\'e}gastel, France},
  booktitle = {SPLT},
  year      = {1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Contrôle

• Jean-Paul Delahaye, P. Paradinas: Définitions de stratégies équitables en programmation logique. 7-14
• Christian Codognet, Philippe Codognet, Gilberto Filé: Backtracking intelligent en programmation logique. 25-50
• Philippe Lebaube, Brice Lepape: Prolog et les techniques de contrôle. 51-

Méthodologie

• Pierre Deransart, Gérard Ferrand: Programmation en logique: méthodologie et enseignement. 75-90
• J. Durand, M. Rusinovitch: Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. 91-

Analyse de programmes

• J. Eudes: Résolution et dépendance entre données dans un programme Prolog. 117-132
• G. Landais: Transformation de programmes Prolog en vue de la compilation. 133-

Extensions

• Alain Colmerauer: Note sur Prolog III. 159-174
• J. Y. Cras: Types et fonctions en Prolog: une approche ensembliste. 175-202
• Mehmet Dincbas, Pascal Van Hentenryck: Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. 203-232
• Pascal Yim: Une nouvelle approche de la programmation en logique. 233-252
• Jean Beney, Jean-François Boulicaut: STARLET: un langage pour une programmation logique fiable. 253-

Implémentation

• Serge Le Huitouze, Olivier Ridoux: Une expérience de réalisation du Gel et du Dif dans MALI. 269-280
• Mireille Ducassé: OPIUM: un outil de trace sophistiqué pour PROLOG. 281-292
• Gilles Berger-Sabbatel: Mesures comportementales sur l'interprétation de Prolog. 293-308
• D. Bonnard, P. Broyer, E. Hubert, F. Le Diberder: Un système ouvert de programmation Prolog. 309-

Transformation de programmes

• N. Azibi, Yves Kodratoff, Ernesto Jorge Costa: Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. 327-344
• Thierry Conrad: Réarrangement de clauses Prolog. 345-

Environnements

• Thierry Gandilhon, B. Ouazan, D. Sciamma: LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation. 357-372
• Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret: Une représentation graphique pour Prolog. 373-386
• L. Zouiten: Implémenter Prolog dans un environnement de programmation. 387-

Objets et Prolog

• Patrick Sallé, Christiane Massoutie, Marcel Gandriau: Un langage logique orienté objet. 401-

Bases de données et Prolog

• Philippe Lebaube, Brice Lepape: Evaluation partielle de requêtes dans le cadre du projet EPSILON. 411-428
• R. Lescoeur, Jean-Marc Kerisit: Evaluation ensembliste en "largeur d'abord" dans Prolog. 429-442
• Jean-Marc Pugin: Assuming that you need to assume. 443-

Applications

• S. Levionnois, A. Scrizzi: Gestion d'une base de données virtuelle (BDV): Une application de Métalislog. 497-504
• P. Legay, Claudette Sayettat: Le temps, la chronologie et Prolog. 505-520
• J. Y. Murzin: FAON: a functional abstractor of netlists. 521-536
• Patrick Taillibert, S. Varennes: MI4: Une approche industrielle des systèmes experts. 537-

Parallélisme

• Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure: Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. 553-570
• Jacques Bellone, R. Picca: Concurrent Prolog: Modèle de calcul et gestion de la mémoire. 571-584
• M. Kharoune, Abderrahmane Aggoun: Deux approches du parallélisme ET en Prolog. 585-

Invited paper

• Y. von Kraute: Ich habe es nicht gewollt. 611-