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 metadatas

https://hal.inria.fr/inria-00000067
Contributor : Christine Solnon <>
Submitted on : Thursday, May 26, 2005 - 10:08:10 AM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
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

300

Files downloads

133