HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Un Système de Module Fermé pour la PLC

Résumé : Cet article présente un système de modules pour la Programmation Logique par Contraintes. Ce système simple et relativement indépendant du langage précis d'utilisation (il a été conçu à l'origine pour GNU-Prolog) a la particularité d'être fermé. Par fermé nous entendons, le fait qu'il est capable de prévenir tout appel à des parties privées d'un module depuis l'extérieur de celui-ci. Bien qu'il puisse être vu comme une simple couche de sucre syntaxique, ce système offre une discipline de nommage des prédicats permettant de développer des bibliothèques et de faciliter la réutilisation du code. De plus, en ajoutant au langage une forme de fermeture inspirée de la programmation concurrente linéaire par contraintes, nous montrons comment on résout le problème bien connu de l'utilisation de la méta-programmation à travers le système de modules, en distinguant l'exécution d'un terme (prédicat call) de l'application d'une fermeture (ordre supérieur).
Complete list of metadata

https://hal.inria.fr/inria-00000067
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Thursday, May 26, 2005 - 10:08:10 AM
Last modification on : Thursday, February 3, 2022 - 11:14:15 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:32:59 PM

Files

Identifiers

  • HAL Id : inria-00000067, version 1

Collections

Citation

Rémy Haemmerlé, Francois Fages. Un Système de Module Fermé pour la PLC. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.169-178. ⟨inria-00000067⟩

Share

Metrics

Record views

72

Files downloads

50