Return to CLIP Main Page

Attributed Variables

• Attributed variables (AVs) [Huitouze '90] (and Meta-structures [Neumerkel '90]):
  • Proposed to implement constraint handling on top of a standard implementation (e.g. CLP(X) on Prolog).
  • Solvers implemented at the source level.
  • The ultimate example of the ``glass box approach.''
• Implementation [Holzbaur '92]:
  • Implemented a refined version of AVs in SICStus.
  • Supports CLP() and CLP(Q)
  User accessible version of Carlsson's suspension variable ( freeze/2).
• Also, ECLiPSe system (ECRC):
  • Useful performance/flexibility tradeoff.