INCLP(R) - Interval-based nonlinear constraint logic programming over the reals
Leslie De Koninck, Tom Schrijvers, Bart Demoen · Lirias · 2006
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.