REDLOG: computer algebra meets computer logic
ACM SIGSAM Bulletin
Communications of the ACM
Hi-index | 0.00 |
We examine the potential of an extension of constraint logic programming, where the admissible constraints are arbitrary first-order formulas over some domain. Constraint solving is realized by effective quantifier elimination. The arithmetic is always exact. We describe the conceptual advantages of our approach and the capabilities of the current implementation CLP(RL). Supported domains are currently R, C, and Qp. For our discussion here we restrict to R.