Some Real Systems (II)

• BNR-Prolog:
  • Arithmetic over reals (closed intervals) ( $=, \leq, >, \neq$), Simplex, propagation techniques
  • Boolean ($=$), 2-valued Boolean algebra
  • Finite domains, consistency techniques under user-defined strategy
• SICStus 3:
  • Linear arithmetic over reals ( $=, \leq, >, \neq$)
  • Linear arithmetic over rationals ( $=, \leq, >, \neq$)
  • Boolean ($=$), 2-valued Boolean algebra
  • (Promised: finite domains)
• ECL$^i$PS$^e$:
  • Finite domains
  • Linear arithmetic over reals ( $=, \leq, >, \neq$)
  • Linear arithmetic over rationals ( $=, \leq, >, \neq$)