Abstract is missing.
- Représentation des connaissances par ensemble d atomes et clauses de HornN. Caridroit. 7-30
- A tactic-driven system for building proofsLaurent Hascoët. 31-52
- Logique linéaire et PrologL. Regnier. 53
- SPES: un système de transformation de programmes logiquesFrancis Alexandre, Jean-Pierre Finance, Alain Quéré. 69-84
- Transformation de programmes Prolog avec insertion de slash A. Belkhiri. 85
- Gel implicite, calcul formel et résolution d équations en programmation logiqueRemi Legrand. 105-120
- VEGA: une nouvelle méthode de programmation en logiqueJean-Jacques Chabrier, François Jacquenet. 121-142
- Intégration de concepts de la programmation en logique à un langage de schémas paramétréMireille Blay-Fornarino, Anne-Marie Pinna-Dery. 143-170
- EQUATOR: a Many-Sorted Prolog based on Equational UnificationThierry Conrad. 171-184
- Prolog et les opérateurs temporelsO. Nerrand, Claudette Sayettat. 185-206
- NLOG: une extension de Prolog qui donne une solution constructive à l échec d un programme PrologA. Marquez. 207
- Using CHIP to support decision makingFrançoise Berthier. 225-246
- Un système d aide à l expérimention en génie génétiqueBernard Migault, François Rousselot, Bernard Keith, J. M. Jeltsch. 247-266
- Utilisation de CHIP pour la synthèse et vérification des circuits CMOSHuy Nam Nguyen, L. Ducousso. 267-278
- De l utilisation de Prolog pour des applications à vocation industrielleR. Hascoet, J. Fumeron. 279-294
- Du prototype à l application: éléments de méthode et outilsE. Hubert, L. Battandier, D. Bonnard, P. Broyer. 295
- Yet another intelligent Backtracking methodChristian Codognet, Philippe Codognet, Gilberto Filé. 317-336
- Stratégie générale d exploration et coupe-choixJean-Paul Delahaye. 337-360
- Programmation logique avec des interpréteurs équitablesStéphane Janot. 361
- Domain-Independent and Range-Restricted Formulas and Deductives DatabasesHendrik Decker. 385-398
- Couplage Prolog/base de données: un modèle asynchroneJean Michel Cornily. 399
- Le système logique parallèle PEPSysJean-Claude Syre, Philippe Robert, Jacques Chassin de Kergommeaux. 425-454
- Parallélisme-OU et assertions PrologChristian Percebois, F. Guerin, G. Orzati. 455-470
- LAIOS: une exécution parallèle de Prolog par recopie des donnéesJean Duprat. 471-490
- Sémantique de Parlog, un langage logique parallèleG. Richard, Antoine Rizk. 491
- Outils pour l implémentation des interprètes PrologVincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant. 515-528
- L environnement ModulogLouis Dewez, Jean-Michel Douin, Philippe Lucas, J. L. Pruvot. 529
- From Unification to ConstraintsJean-Louis Lassez. 543