No, claire does not support the concept of constraints (hence not in
a store). Claire has a backtrackable store, in which object, array or
list modifications may be posted, thus it is a nice language to
implement constraints :-)
The CHOCO solver (a freeware library) is available on top of claire
by the way :-)

Cheers,

-- Yves



--- In claireprogramminglanguage@yahoogroups.com, "thomas_sg2000
<thomas_sg2000@y...>" <thomas_sg2000@y...> wrote:
> Hi,
>
> CLAIRE can be used as a constraint programming language. I am
curious:
> does CLAIRE has constraint stores? I ask this because some other
> constraint programming languages like EClipse and Oz uses constraint
> stores.
>
> Thanks,
> - WK