Computer Science – Software Engineering
Scientific paper
2002-07-11
Computer Science
Software Engineering
16 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052
Scientific paper
CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains. In CLPGUI, the user can control the execution of a CLP program through several views of constraints, of finite domain variables and of the search tree. CLPGUI is intended to be used both for teaching purposes, and for debugging and improving complex programs of realworld scale. It is based on a client-server architecture for connecting the CLP process to a Java-based GUI process. Communication by message passing provides an open architecture which facilitates the reuse of graphical components and the porting to different constraint programming systems. Arbitrary constraints and goals can be posted incrementally from the GUI. We propose several dynamic 2D and 3D visualizations of the search tree and of the evolution of finite domain variables. We argue that the 3D representation of search trees proposed in this paper provides the most appropriate visualization of large search trees. We describe the current implementation of the annotations and of the interactive execution model in GNU-Prolog, and report some evaluation results.
No associations
LandOfFree
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with CLPGUI: a generic graphical user interface for constraint logic programming over finite domains, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and CLPGUI: a generic graphical user interface for constraint logic programming over finite domains will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-185254