This is the Reference Manual for the Ciao Prolog development system. It contains basic
information on how to install Ciao Prolog and how to write, debug, and run Ciao Prolog …

Constraint programming allows difficult combinatorial problems to be modelled declaratively
and solved automatically. Advances in solver technologies over recent years have allowed …

Answer set programming provides a powerful platform for model-based reasoning problems.
The answer sets are solutions, but for many non-trivial problems post-processing is often …

Discrete constraint problems surface often in everyday life. Teachers might group students
with complex considerations and hospital administrators need to produce staff rosters …

Understanding how the search space is explored for a given constraint problem–and how it
changes for different models, solvers or search strategies–is crucial for efficient solving. Yet …

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 …

Nonlinear programming is a complex methodology where a problem is mathematically
expressed in terms of optimality while imposing constraints on feasibility. Such problems are …

In this paper we give an overview of the current state of the graphical features provided by
ILOG OPL Studio for debugging and performance tuning of OPL programs or external ILOG …

Visualization is often invaluable to understand the behavior of optimization algorithms,
identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet …

CLP (FD) programs can solve complex problems but they are difficult to develop and
maintain. In particular, their operational behavior is not easy to understand. Execution …