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 BibTeX
• Christian Codognet, Philippe Codognet, Gilberto Filé: Backtracking intelligent en programmation logique. 25-50 BibTeX
• Philippe Lebaube, Brice Lepape: Prolog et les techniques de contrôle. 51- BibTeX

Méthodologie

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

Analyse de programmes

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

Extensions

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

Implémentation

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

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 BibTeX
• Thierry Conrad: Réarrangement de clauses Prolog. 345- BibTeX

Environnements

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

Objets et Prolog

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

Bases de données et Prolog

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

Applications

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

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 BibTeX
• Jacques Bellone, R. Picca: Concurrent Prolog: Modèle de calcul et gestion de la mémoire. 571-584 BibTeX
• M. Kharoune, Abderrahmane Aggoun: Deux approches du parallélisme ET en Prolog. 585- BibTeX

Invited paper

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