Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Tree visualization with tree-maps: 2-d space-filling approach
ACM Transactions on Graphics (TOG)
Tools for Search-Tree Visualisation: The APT Tool
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Tools for Constraint Visualisation: The VIFID/TRIFID Tool
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Using Constraint Visualisation Tools
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Visual Tools to Debug Prolog IV Programs
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Debugging Constraint Programs by Store Inspection
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Components for State Restoration in Tree Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Complex Constraint Abstraction: Global Constraint Visualisation
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
A Visualization Tool for Constraint Program Debugging
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
An Interactive Driver for Goal-directed Proof Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
A boolean model for enumerating minimal siphons and traps in petri nets
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
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.