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