Abstract is missing.
- Une reconstruction de la programmation en logique avec négationGérard Ferrand. 7-28
- Preuves de correction partielle des programmes logiquesPierre Deransart. 29
- List concatenation via extended unificationLaurent Fribourg. 45-58
- LISLOG-C: Une première étape vers l expression généralisée des contraintes en programmation en logiqueJ. P. Lepape, Serge Bourgault, D. Ranson. 59-76
- PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based SystemDavid Chan, Pierre Dufresne, Reinhard Enders. 77-108
- Exploitation prédictive de grammaires de métamorphose par une extension de la logique de PrologPaul Y. Gloess, Dung T. Nguyen. 109-118
- Termes typés et termes globaux en PrologThierry Conrad. 119-130
- Est-ce que Prolog sait lire?Jean-François Monin, E. Barrielle. 131-140
- Modulog isa PrologLouis Dewez, E. Mafety. 141
- Les boucles dans Prolog: structures et originesS. Pelhat. 153
- Une implémentation de grammaire de forme en Prolog IIHendrika Buelinckx, Ph. Francois, M. Fregier. 173-184
- De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielleJ. Fumeron. 185-210
- Prolog est-il un outil idéal pour la construction de prototypes?Gustavo Arango. 211
- Compilation de Prolog sur une machine de traitement symboliqueAbderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson. 225-244
- Style de programmation pour une machine de programmation logique munie d un récupérateur de mémoireL. Chevalier, Serge Le Huitouze, Olivier Ridoux. 245
- Synthèse de spécifications à partir de programmesNadya Tareb, Yves Kodratoff. 265
- Différences entre la sémantique déclarative et la sémantique procédurale d un programme Prolog avec coupe-choixJean-Paul Delahaye. 285-306
- Une technique de backtracking intelligent, basée sur un algorithme d unification étendu et sur la datation du processus de résolutionA. Belkhiri. 307
- Le calcul relationnel au service de l implantation d un langage de programmation logiqueRemi Legrand. 333
- EXPLINEG1: Une méthode de génération d explications négatives dans les systèmes à base de connaissances formalisées en logique des prédicatsClaire Saurel. 347-358
- Using integrity constraints to control hypotheses formationJean-Marc Pugin. 359
- Interface Prolog-GraphiqueA. El Mhamedi. 379-390
- Some remarks on the treatment of errors in natural language processing systemsCelestin Sedogbo, Franz Guenthner. 391
- Programmation logique parallèle 87Philippe Codognet. 411-440
- Interprétation parallèle de Prolog et Bases de données: Une application de l algorithme de jointure par tri et compositionR. Elboussarghini, D. Herman. 441
- Spécification formelle de Prolog standardPierre Deransart, C. Moss, G. Richard. 455
- Proposition d une extension objet minimale pour PrologThierry Gandilhon. 483-506
- Un système de frames expertes en PrologM. Arnoux, G. Becker, M.-C. Thomas. 507
- Banc d essai pour les principales versions de Prolog. Réalisation et mesures de performancesBrice Lepape, M. Sellami, J. P. Aubert. 529
- Sur l intégration des technologies IA et BDJean-Marie Nicolas. 545