H ? « »

Language peer sets for CIAL:
Designed 1994
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: China
Designed 1994
Published: 1994

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).

Related languages
CLP(R) CIAL   Extension of

  • C.K. Chiu et al, (1994) C.K. Chiu et al, "Towards Practical Interval Constraint Solving in Logic Programming", Tech Report, Chinese U Hong Kong, 1994.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder