Abstract is missing.
- New trends in constraint logic ProgrammingMark Wallace.
- Abstract interpretation for constraint logic programmingMaurice Bruynooghe.
- Application du langage CHIP à un problème complexe d ordonnancementAndré Chamard, F. Decès, Annie Fischler. 3-17
- Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPSBruno Legeard, Emmanuel Legros. 18-34
- BOCAL: Bibliothèque d objets pour le traitement des contraintes arithméthiques et logiquesD. Ranson, J. P. Lepape. 35-50
- Extending CHIP in order to solve complex scheduling and placement problemsAbderrahmane Aggoun, Nicolas Beldiceanu. 51
- ECOLOG: un Environnement pour la programmation en LOgique COntrainteMarianne Haberstrau. 69-86
- The grand loop semantics for logic programsEric Wegrzynowski, Jean-Paul Delahaye. 87-106
- Unification associative dans le langage de programmation grammaticale logique AFFLOGSadeph Saidi. 107
- Expériences de parallélisme en Prolog IIIEric Vétillard. 129-142
- Un modèle de programmation logique OU-parallèle facilitant la prise en compte du travail spéculatifH. Bourzoufi, Gilles Goncalves, Bernard Toursel. 143-161
- Une algèbre de processus pour la programmation logique parallèleMounira Belmesk, Zineb Habbas. 162
- Approche logique de la généralisation en présence de théorie du domaineCéline Rouveirol, Jean-Francois Puget. 179-193
- Sur la finitude des dérivations de la programmation en logiquePhilippe Balbiani. 194-209
- Spécification relationelle déductive de programmes logiquesAhmed Ferchichi. 210-231
- La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintesSylvie Calabretto, Pascal Yim. 232
- Architectures méta-réflexives en programmation logique par objetsJacques Malenfant. 253-267
- Realizing an efficient and incremental access to an object oriented database with PrologChu Min Li, Paul Y. Gloess. 268-283
- Du prototype Prolog vers un modèle objet: une approche basée sur l inférence des relations inter-typesChristine Solnon, Michel Rueher. 284
- Contraintes booléennes et gestion d arbres des défaillancesAntoine Rauzy. 301-313
- Programmation logique à contraintes et propagation d intervallesOlivier Lhomme. 314-327
- CLP(X) for proving prgram propertiesFrédéric Mesnard, Jean-Gabriel Ganascia. 328
- Analysis of failing Prolog ExecutionsMireille Ducassé. 341-352
- Termination induction by means of an abstract OLDT resolutionChristophe Lecoutre, Philippe Devienne, Patrick Lebègue. 353-373
- Abstract interpretation can improve the efficiency of the bachtracking ruleMarc-Michel Corsini. 374-385
- Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d un modèle d interprétation abstraiteBaudouin Le Charlier. 386
- L inheritance near-Horn Prolog en PrologIgor Stéphan. 403-419
- Quelques résultats de mesures d une implémentation de Prolog sur un processeur MipsGilles Berger-Sabbatel, A. Jemai, Mohamed Benothman. 420