Linear (Dis)Equations: CLP($\Re$)

• The CLP($\Re$) language solves linear (dis)equations
• We will augment the basic language with:
  • Floating point numbers: $4.0, 1e-3$
    (They stand for the corresponding real numbers)
  • Arithmetic operators $(+, *, -, /)$, with which we can construct arithmetic terms: $3 + 4$, $X + 3*Y - Z / 5$
    These terms stand for arithmetic expressions
  • A predefined constraint $=/2$, which stands for arithmetic equality
  • Some constraints $(>, <, >=, <=)$, which represent an order relation
• We will augment the semantics of unification adding constraint solving capabilities