CIAL

An interval constraint logic language. It contains a linear Gauss-Seidel constraint solver, in addition to the interval narrowing solver. It has been implemented as an extension to CLP(R).

"Towards Practical Interval Constraint Solving in Logic Programming", C. K. Chiu et al, TR, Chinese University of Hong Kong, 1994.