Abstract is missing.
- Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listesChristian Percebois, Jean-Paul Sansonnet.
- LF: langage de spécification de fonctions et de types de données en logiqueRené Jacquart, Michel Lemaître, Guy Zanon.
- Dif , un moyen simple pour un contrôle complexeMichel Van Caneghem.
- Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteursJ. Rohmer.
- Interpréteur de Prolog en Pascal sous MulticsM. Martin, T. Joubert.
- Programmation en logique en environnement LispSerge Bourgault, Mehmet Dincbas, Didier Feuerstein.
- Gestion de mémoire dans les interpréteurs PrologYves Bekkers, Bernard Canet.
- OASIS: Outil interactif d aide à la spécificationT. Joubert, M. Martin.
- Prolog et types abstraits algébriquesPierre Deransart.
- Parallélisme et programmation fonctionnelle à la BackusJean-Pierre Banâtre.
- Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressionsHervé Gallaire, Alain Grumbach, E. Papon.
- L environnement de Prolog IIIHenry Kanoui.
- Prolog comme outil de génie logicielPhilippe Donz.