CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming

Abstract : CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different contexts: initially for teaching purposes, then for debugging complex programs of real-world scale, and recently for developing end-user interfaces. The challenge of developing a tool which is generic w.r.t. both the constraint logic programming system and the visualizers, is addressed by a client-server architecture for connecting a CLP process to a Java-based GUI process, and by a non-intrusive tracing and control method based on annotations in the CLP program. Arbitrary constraints and goals can be posted incrementally from the GUI in an interactive manner, and arbitrary states can be recomputed. We describe several generic 2D and 3D viewers of the variables and of the search tree, and argue that the 3D representation is best-suited to apprehend the shape of large search trees. We also illustrate the use of CLPGUI for developing application-oriented end-user interfaces on two placement problems, one in virtual reality.
Type de document :
Article dans une revue
Constraints, Springer Verlag, 2004, 9 (4), pp.241 - 262. 〈10.1023/B:CONS.0000049203.53383.c1〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01431350
Contributeur : Sylvain Soliman <>
Soumis le : mardi 10 janvier 2017 - 17:32:09
Dernière modification le : jeudi 9 février 2017 - 16:02:30

Identifiants

Collections

Citation

François Fages, Sylvain Soliman, Rémi Coolen. CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints, Springer Verlag, 2004, 9 (4), pp.241 - 262. 〈10.1023/B:CONS.0000049203.53383.c1〉. 〈hal-01431350〉

Partager

Métriques

Consultations de la notice

340