SPLT 1986: Trégastel, France
SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. 1986
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
Méthodologie
- 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
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
Bases de données et Prolog
- Philippe Lebaube, Brice Lepape: Evaluation partielle de requêtes dans le cadre du projet EPSILON. 411-428
- 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
- J. Y. Murzin: FAON: a functional abstractor of netlists. 521-536
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
Invited paper
- Y. von Kraute: Ich habe es nicht gewollt. 611-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team