CIAL - Interval constraint logic language. Contains a linear Gauss-Seidel
constraint solver, in addition to the interval narrowing solver.
Implemented as an extension to CLP(R). "Towards Practical Interval
Constraint Solving in Logic Programming", C.K. Chiu et al, TR, Chinese U
Hong Kong, 1994. Version 1.0 (beta)
info: Jimmy Lee
Comments, Experience, Additions
Next Language: C+@