..
.

interval.sourceforge.net/interval/prolog/clip

A foreign file extension of GNUProlog in which interval arithmetic constraints are enclosed in curly braces.

Source code

  • clip -- browse the C and Prolog files that make up clip
  • interval.tgz -- Tar ball of the C and Prolog files that make up clip

Download

Platforms supported

  • RedHat Linux 6.1 on the PC and Macintosh OS X
    Note: Porting to other architectures should not be hard. The only non-portable code is that which deals with setting the rounding modes!

Applications

  • Examples from the paper Analytic Constraint Solving and Interval Arithmetic.
  • Examples from the paper "CLIP: a CLP(Intervals) Dialect for Metalevel Constraint Solving".

Related papers

  • "Analytic Constraint Solving and Interval Arithmetic",
    T. Hickey,
    Proceedings of the 27th Annual ACM SIGACT-SIGPLAN Symposium
    on Principles of Programming Languages, (POPL'00) pp 338--351.

  • "CLIP: a CLP(Intervals) Dialect for Metalevel Constraint Solving",
    T. Hickey,
    Proceedings of PADL'00. Springer-Verlag, "Lecture Notes in Computer Science", vol. 1753, 2000.
Last Modified 2003 December 19