Abstract is missing.
- Définitions de stratégies équitables en programmation logiqueJean-Paul Delahaye, P. Paradinas. 7-14
- Backtracking intelligent en programmation logiqueChristian Codognet, Philippe Codognet, Gilberto Filé. 25-50
- Prolog et les techniques de contrôlePhilippe Lebaube, Brice Lepape. 51
- Programmation en logique: méthodologie et enseignementPierre Deransart, Gérard Ferrand. 75-90
- Vers une méthodologie de programmation en logique: A propos d une classe de problèmesJ. Durand, M. Rusinovitch. 91
- Résolution et dépendance entre données dans un programme PrologJ. Eudes. 117-132
- Transformation de programmes Prolog en vue de la compilationG. Landais. 133
- Note sur Prolog IIIAlain Colmerauer. 159-174
- Types et fonctions en Prolog: une approche ensemblisteJ. Y. Cras. 175-202
- Algorithmes d unification étendue pour l intégration des langages fonctionnels et logiquesMehmet Dincbas, Pascal Van Hentenryck. 203-232
- Une nouvelle approche de la programmation en logiquePascal Yim. 233-252
- STARLET: un langage pour une programmation logique fiableJean Beney, Jean-François Boulicaut. 253
- Une expérience de réalisation du Gel et du Dif dans MALISerge Le Huitouze, Olivier Ridoux. 269-280
- OPIUM: un outil de trace sophistiqué pour PROLOGMireille Ducassé. 281-292
- Mesures comportementales sur l interprétation de PrologGilles Berger-Sabbatel. 293-308
- Un système ouvert de programmation PrologD. Bonnard, P. Broyer, E. Hubert, F. Le Diberder. 309
- Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logiqueN. Azibi, Yves Kodratoff, Ernesto Jorge Costa. 327-344
- Réarrangement de clauses PrologThierry Conrad. 345
- LOGIC: un environnement de programmation Prolog mêlant interprétation et compilationThierry Gandilhon, B. Ouazan, D. Sciamma. 357-372
- Une représentation graphique pour PrologMichel Rueher, M.-C. Thomas, A. Gubert, Didier Ladret. 373-386
- Implémenter Prolog dans un environnement de programmationL. Zouiten. 387
- Un langage logique orienté objetPatrick Sallé, Christiane Massoutie, Marcel Gandriau. 401
- Evaluation partielle de requêtes dans le cadre du projet EPSILONPhilippe Lebaube, Brice Lepape. 411-428
- Evaluation ensembliste en largeur d abord dans PrologR. Lescoeur, Jean-Marc Kerisit. 429-442
- Assuming that you need to assumeJean-Marc Pugin. 443
- Gestion d une base de données virtuelle (BDV): Une application de MétalislogS. Levionnois, A. Scrizzi. 497-504
- Le temps, la chronologie et PrologP. Legay, Claudette Sayettat. 505-520
- FAON: a functional abstractor of netlistsJ. Y. Murzin. 521-536
- MI4: Une approche industrielle des systèmes expertsPatrick Taillibert, S. Varennes. 537
- Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. KowalskiChristian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure. 553-570
- Concurrent Prolog: Modèle de calcul et gestion de la mémoireJacques Bellone, R. Picca. 571-584
- Deux approches du parallélisme ET en PrologM. Kharoune, Abderrahmane Aggoun. 585
- Ich habe es nicht gewolltY. von Kraute. 611