Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CLPGUI: a generic graphical user interface for constraint logic
  programming over finite domains   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.

5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph