INCLP(R) - Interval-based nonlinear constraint logic programming over the reals

We present the INCLP(R) system, a new Constraint Logic Programming system for nonlinear constraints over the reals, based on interval techniques. A first evaluation shows that we can improve on other systems in a number of areas. INCLP(R) is written in Prolog using Constraint Handling Rules and is the first nonlinear CLP system implemented using this technology. Directions for future research are given.INFSYS Research Report 1843-06-02status: publishe