Next: Interacting with CLP() (I)
Up: Adding Computation Domains: CLP
Previous: Datalog
- The CLP()
language solves linear (dis)equations
- We will augment the basic language with:
- Floating point numbers:
(They stand for the corresponding real numbers)
- Arithmetic operators
,
with which we can construct
arithmetic terms: ,
These terms stand for arithmetic expressions
- A predefined constraint ,
which stands for arithmetic
equality
- Some constraints
,
which represent an order
relation
- We will augment the semantics of unification adding constraint
solving capabilities
Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es>