Abstract is missing.
- Sur la détection des boucles infinies en programmation en logiquePhilippe Besnard.
- Transformation d un programme algorithmique en programme PrologPascal Yim.
- Etude de langage Concurrent PrologM. Favre.
- Détection d erreurs en programmation en logiquePierre Deransart, Gérard Ferrand.
- OBLOGIS, une implantation par objets et orientée objets de la logique de PrologPaul Y. Gloess.
- Formalisation des structures de contrôle de PROLOGMichel Billaud.
- BOOMRANG et ALEXANDRE ou Comment aller de l avant en arrière et vice-versa J. Rohmer, R. Lescoeur, D. Sciamma.
- Prolog et la SynergéthiqueJ. M. Jantke.
- Manipulation formelle de programmes PrologM. Kharoune.
- Mondes et programmation en logiqueHervé Kauffmann, Alain Grumbach.
- Architecture de l unité de calcul symbolique de MAIAP. Clere.
- XLOG: types, fonctions et tableaux dans PrologD. Sciamma, X. Sola, Aristide Mégrelis.
- Prolog avec égalitéFarid Ouabdesselam.
- Le traitement des axiomes récursifs dans les bases de données déductivesLaurent Vieille.
- Utilisation de PROLOG II pour la réalisation d un système expertB. Crepel.
- Une revue des modèles parallèles pour PROLOGJean-Claude Syre, Jacques Noyé.
- Des primitives pour la synchronisation des branches OU. Un exemple d applicationRene Quiniou, Laurent Trilling.
- STARLOG: une nouvelle interprétation des clauses de HornO. Oudot.
- Une solution Prolog au problème de SchubertBéatrice Duval, J. Y. Cras.
- COALA: un réseau d acteurs pour une architecture multiprocesseur PrologChristian Percebois, Irène Durand, C. Simon.
- FORTLOG = Fortran + LogiqueY. C. Chan.