POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Geometric and solid modeling: an introduction
Geometric and solid modeling: an introduction
Constraint logic programming applied to hypothetical reasoning in chemistry
Proceedings of the 1990 North American conference on Logic programming
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
RISC-CLP (real): logic programming with non-linear constraints over the reals
Constraint logic programming
Constraint arithmetic on real intervals
Constraint logic programming
CLP( R ) and some electrical engineering problems
Journal of Automated Reasoning
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
QUAD-CLP(R): Adding the Power of Quadratic Constraints
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
The embedding of constraint satisfaction on the domain of discourse into a rule-based programming paradigm like logic programming provides a powerful reasoning tool. We present an application in spatial reasoning that uses this combination to produce a clear, concise, yet very expressive system through its ability to manipulate partial information. Three-dimensional solid objects in constructive solid geometry representation are manipulated, and their spatial relationship with one another, points, or regions is reasoned about. The language used to develop this application is QUAD-CLP(ℜ), an experimental constraint logic programming language of our own design, which is equipped with a solver for quadratic and linear arithmetic constraints over the reals.