Integrating Interval Constraints into Logic Programming

Details Integrating Interval Constraints into Logic Programming Integrating Interval Constraints into Logic Programming

2010-02-07

arxiv.org/abs/1002.1422v1

Computer Science

Programming Languages

21 pages, 2 tables, no figures

Scientific paper

The CLP scheme uses Horn clauses and SLD resolution to generate multiple constraint satisfaction problems (CSPs). The possible CSPs include rational trees (giving Prolog) and numerical algorithms for solving linear equations and linear programs (giving CLP(R)). In this paper we develop a form of CSP for interval constraints. In this way one obtains a logic semantics for the efficient floating-point hardware that is available on most computers. The need for the method arises because in the practice of scheduling and engineering design it is not enough to solve a single CSP. Ideally one should be able to consider thousands of CSPs and efficiently solve them or show them to be unsolvable. This is what CLP/NCSP, the new subscheme of CLP described in this paper is designed to do.

Affiliated with

Also associated with

No associations

Rating

Integrating Interval Constraints into Logic Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Integrating Interval Constraints into Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Integrating Interval Constraints into Logic Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-582653