Un nouveau traceur générique pour GNU-Prolog
Cet article présente un traceur pour le solveur de contraintes sur domaines finis de
GNU-Prolog. La programmation par contraintes ne dispose toujours pas d’outils et de techniques
de débogage adaptés car les outils de mise au point sont difficiles à développer. Le traceur
facilite ce développement. Il peut fournir à un outil une grande quantité d’informations sur
le déroulement de l’exécution. Le traceur implante un modèle formel de trace générique pour la
programmation par contraintes sur domaines finis. Ce modèle de trace est générique au sens où
il n’est pas dédié à GNU-Prolog et qu’une large variété d’outils de débogage peuvent être basés
sur cette trace. Les premières évaluations montre que ce traceur est utile et raisonnablement
efficace.
This paper presents a tracer for the finite domain solver of GNU-Prolog. Constraint
programming still lacks the suitable debugging tools and techniques because debugging tools
are hard to develop. The tracer eases this development. It can feed a tool with a lot of data
about the execution behavior. The tracer implements a formal generic trace model for constraint
programming over finite domains. This trace model is generic in the sense that it is not
dedicated to GNU-Prolog and that a large variety of debugging tools can be built on top of this
trace. First assessments show that this tracer is useful and reasonably efficient.
Programmation par contraintes, domaines finis, trace d’exécution, modèle de trace, traceur, débogage, mise au point
Constraint programming, finite domains, execution trace, trace model, tracer, debugging, tuning
Français
|
