---

10 Constraint logic programming over reals

• Introduction
• Solver predicates
  • {}/1
  • inf/2, sup/2
  • clpr_get_store/2
• Real and Herbrand domains combinations
  • Unification
  • Implicit equalities
  • Nonlinear constraints

---

Copyright (C) 1999-2002 Daniel Diaz.

Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

More about the copyright

---