Abstract is missing.
- Une application de Prolog: la génération d interfaces utilisateurs experts pour logiciels conversationnels sous UnixJ. Durand. 7-22
- Utilisation de Prolog dans la conception d Architectures Multicouches pour l interconnexion de RéseauxStella Zwecker, Guy Juanole, Omar Amyay. 23
- AFFLOG: une implantation de grammaires à deux niveaux pour l étude de la Programmation Grammaticale LogiqueSadeph Saidi, Jean-François Boulicaut. 45-70
- Une nouvelle structure de données pour l implémentation des extensions de PrologSerge Le Huitouze. 71-88
- Automated debugging of non-terminating Prolog programsAnna-Maria Emde, Mireille Ducassé. 89
- Un gestionnaire de connaissances reposant sur l intégration de la programmation logique et des bases de donnés relationnellesSelmin Nurcan, Jacques Kouloumdjian, Li Lei. 105
- SP-Object: Extension objet dans le système SP-Prolog v2.1T. Reix. 127-138
- Formulae as Active Representations of DataJean-Marc Andreoli, Remo Pareschi. 139-160
- Implantation du langage de programmation logique, par objets e répartie ObjVProlog-DJacques Malenfant, Guy Lapalme, Jean G. Vaucher. 161
- Génération incrémentale de bases de règles trivaluées cohérentesS. Lapiquonne. 187-206
- DyALog: une implantation des Clauses de Horn en Programmtion DynamiqueEric Villemonte de la Clergerie. 207-228
- Formes de Pierce en logique propositionnelleStéphane Bressan. 229
- Une théorie du test en programmation logiqueLiliane Lardot, Norbert Batllou. 243
- Une sémantique pour la notion déclarative d erreur des programmes logiques avec négationM. Bergère, Gérard Ferrand. 263-292
- Relational interpretation of logic programsAhmed Ferchichi. 293-310
- Operational semantics of Standard Prolog: an axiomatic approachJean-Paul Delahaye, François Denis. 311
- OPERA: Ou parallélisme et Régulation Adaptive en PrologJacques Briat, M. Favre, Cláudio F. R. Geyer. 329-350
- Abstract Interpretation from Prolog to Concurrent PrologChristian Codognet, Philippe Codognet, Marc-Michel Corsini. 351-370
- Une approche de compilation pour les programmes logiques exploitant le parallélisme et et ou Mounira Belmesk. 371
- A new model semantics for a program with negationJean-Paul Delahaye, V. Thibau. 389-404
- Une contrainte de négation par l échec en PrologYves Bekkers. 405
- Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic ProgrammingJin-Kao Hao, Jean-Jacques Chabrier. 431-446
- COSYLOG: Symbolic Constraints in Logic towards a more Natural ProgrammingFranck Porcher. 447-462
- CLEF::v1:: et la Programmation en Logique avec ContraintesJ. P. Lepape, D. Ranson. 463-486
- Time Stamps Techniques for the Trailed Data in Constraint Logic Programming SystemsAbderrahmane Aggoun, Nicolas Beldiceanu. 487-510
- La démonstration automatique en calcul propositionnel au service de la programmation par contraintesJean-Marc Boï, Antoine Rauzy. 511-522
- Relâchement de contraintes en Programmtion en Logique avec ContraintesX. Cousin. 523
- Implémentation d un langage de programmation logique d ordre supérieur avec MALIPascal Brisset. 527-550
- Une mise en oeuvre de l unification d expressions booléennesOlivier Ridoux, H. Tonneau. 551-570
- Décompilation conservant le déterminismeJean François Pique. 571
- A Unified Approach to Logic Programs Semantics based on ConstraintsGiorgio Levi. 583
- Réflexion en cours587