Abstract is missing.
- Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formellesPascal Yim. 7-24
- Sur la décomposabilité de programmes logiquesPhilippe Ézéquel. 25-40
- Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l aide de Grammaires Attribuées et leur utilisation pour valider des Programmes LogiquesPierre Deransart. 41
- Classes et Types: aides à la programmation en logiqueMarcel Gandriau, Christiane Massoutie. 57-70
- U-LOG, aspects formels et pratiques d un interface entre Programmation Logique et ObjetsPaul Y. Gloess. 71-96
- Programmation Logique et Objets sans variables par le dessinJean-Luc Guérin, Paul Y. Gloess. 97
- Test d occurence en PROLOG et grammaires attribuéesPierre Deransart, Gérard Ferrand, Michel Téguia. 113-142
- Une heuristique pour transformer des programmes logiquesFrancis Alexandre. 143-158
- Le traitement des exceptions en programmation logique avec VEGAFrançois Jacquenet. 159
- Spécification Logique de Protocoles de Communication à l aide de Réseaux Prédicat/Transition EtiquetésPierre Azéma, François Vernadat, Jean Christophe Lloret. 187-212
- Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation LogiqueBruno Marre. 213
- Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liageC. Delaunay, Patrick Saint-Dizier. 237-264
- ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en SpécificationsT. Chanier, C. Fournier. 265
- STRALOG: Système expérimental de programmation logique multi-stratégiesNadine Cullot, Jean-Jacques Chabrier. 287-310
- Logique Partielle et PrologJean-Paul Delahaye, Philippe Mathieu. 311
- Generic Extensions of a Prolog BrowserJacques Bellone, AbdelAli Ed-Dbali, Christian Gresse. 331-344
- Les Sleepers: une technique d implémentation de haut niveau pour contrôler le processus de démonstrationGiuseppe Cattaneo, Vincenzo Loia, Michel Quaggetto. 345
- Evaluation partielle des échecs en PrologJean-Francois Puget. 361-378
- Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?!Didier Ladret. 379-402
- Une vue méthodologique de la Programmation en Logique avec négationPierre Deransart, Gérard Ferrand. 403
- Non-deterministic Stream AND-parallelism based on Intelligent BacktrackingChristian Codognet, Philippe Codognet. 423-440
- Une machine à réduction d un langage logique exploitant le parallélisme d ADAD. Bourget, Remi Legrand. 441
- Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle)Franck Porcher, Henri Behringer. 459-478
- Quelques applications du filtrage paresseuxPascal Brisset, Olivier Ridoux. 479
- Sélection de clauses en PrologP. Jary, X. de Joybert, P. Arsac. 499-522
- Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de tout PrologJ. F. Dazy, J. M. Pozas. 523-540
- Relationnalisation des programmes logiquesRemi Legrand. 541
- Modélisation d un système de décodage acoustico-phonéthique à l aide de Lislog-cR. Vives. 557-576
- Automated synthesis of combinational logic using problem solving techniquesHuy Nam Nguyen, L. Ducousso. 577-582
- Génération de scènes animées à partir du texteN. Cherif, S. Bourgault. 583
- Programmation en Logique: faire encore plusHervé Gallaire. 605
- Epilogue607