Details:
Title  Constraint Logic Programming on Boolean, Integer and Real Intervals  Author(s)  Frederic Benhamou, William J. Older, Andre Vellino  Type  Technical Report, Misc  Abstract  Imperative programming languages for computing on intervals stand in contrast to systems of relational interval arithmetic that are seamlessly integrated into a logic programming language like CLP(BNR). The combined power of a symbolic, logic programming language on the one hand and a mathematically correct, logically sound and computationally efficient programming system (constraint arithmetic on intervals) on the other, is considerably more powerful than either taken separately. Boolean, integer and realvalued simultaneous constraint equations can be mixed freely in CLP(BNR), not only to contain floating point errors and perform sensitivity analysis but also to express a wide variety of linear and nonlinear programming problems, scheduling and configuration problems as well as optimization and operations research problems. Some simple examples of how this can be done are given as well as a summary report on experimental applications of this technology to industrial problems.  Length  18 
File 
 Language  English  Year  1994  Month  May  Edition  0  Translation 
No  Refereed 
No 
