Abstract is missing.
- Systèmes de programmation logique OU parallèlesJacques Chassin de Kergommeaux. 3
- Techniques avancées de compilation de Prolog: l état de l art et l avenirPeter Van Roy. 5
- Un modèle de programmation séquencée pour les systèmes à process discontinuChristian Tahon, Gislaine Kozicki, Gérard Gorthcinsky. 9-28
- Some elements of methods to deal with equivalences in specification and program developmentPascal Bernard. 29-48
- Gestion de la mémoire cache pour une machine symboliqueMohamed Benothman, Gilles Berger-Sabbatel. 49-65
- Représentation sémantique des langues naturelles en PrologSolange Coupet-Grimal. 69-91
- Les grammaires logiques et lambda-PrologSerge Le Huitouze, Pascale Louvet, Olivier Ridoux. 93-108
- Model search with equality: a language and incremental proof procedure for discourse analysisLaurent Henocque. 109-125
- Une approche logique de la non-monotonieDaniel Pacholczyk, Jean-Marc Pacholczyk. 129-153
- An achievement by part method to solve the incompleteness of forward chainingJean-Paul Delahaye, Philippe Mathieu. 155-171
- Mise en oeuvre d un traducteur de lambda-Prolog et L::lambda::Pascale Louvet. 175-196
- Évaluation partielle pour l implantation efficace de la réflexion de comportementJacques Malenfant, François-Nicolas Demers. 197-213
- Une transformation de programme basée sur la notion d équations entre termesUlrich Neumerkel. 215-229
- Modèles d interprétation abstraite de Prolog: quelles structures mathématiques?Kaninda Musumbu. 231-241
- CLP(beta) joue la transparenceMarc-Michel Corsini, Antoine Rauzy. 245-261
- Preferred constraints as optimizationJulian Fowler. 263-272
- Élimination de Fourier: que choisir?Jean-Louis Imbert. 273-294
- Élimination de variables dans les systèmes de contraintes linéairesJean-Louis Imbert. 295-318
- Approximations entre langages de programmation logique avec contraintesFrédéric Mesnard. 319-341
- Le traitement des contraintes disjonctives dans un problème d ordonnancement : exemple du «Hoist Scheduling Problem»Christophe Varnier, Pierre Baptiste, Bruno Legeard. 343-363
- Programmation d ordre supérieur en lambda-PrologYves Bekkers. 367-390