[gecode-users] Constraint store

[Pierre Talbot]

Hi,

Thanks to both of you, I'll carefully read this dissertation.

Regards,
Pierre

On 04/29/2014 09:33 PM, Gustavo Gutierrez wrote:
> Hi Pierre,
>
> Oz does use the store concept, that is for sure :). You can have a 
> look at Christian's dissertation "Programming constraint Services". 
> Start by chapter 2 and you will find the terminology you seem to be 
> looking for.
>
> Regards,
> Gustavo
>
>
> On Tue, Apr 29, 2014 at 9:44 AM, Pierre Talbot <ptalbot at hyc.io 
> <mailto:ptalbot at hyc.io>> wrote:
>
>     I'm very new to constraint programming and Oz but I read that
>     there are plans to use Gecode in Mozart. On the other hand, I
>     don't think Oz is using the store concept, correct me if I'm
>     wrong. Anyways, thanks for the infos, I'll definitely look into Oz
>     and AKL.
>
>     Do you think it's feasible to use Gecode to avoid reimplementing
>     the basis of a constraint system? Or is Gecode have little chances
>     to help us?
>
>     Regards,
>     Pierre Talbot
>
>     Le 29/04/2014 15:54, Christian Schulte a écrit :
>
>         Hi,
>
>         Gecode is a terrible choice for a cc-inspired language. Please
>         go back to
>         predecessors of Gecode such as Oz and AKL, there you will find
>         how you can
>         implement ask and tell efficiently. A (somewhat dated starting
>         point) is:
>         http://mozart.github.io/publications/
>
>         Cheers
>         Christian
>
>         --
>         Christian Schulte, Professor of Computer Science, KTH,
>         www.ict.kth.se/~cschulte/ <http://www.ict.kth.se/%7Ecschulte/>
>
>
>         -----Original Message-----
>         From: users-bounces at gecode.org
>         <mailto:users-bounces at gecode.org>
>         [mailto:users-bounces at gecode.org
>         <mailto:users-bounces at gecode.org>] On Behalf
>         Of Pierre Talbot
>         Sent: Tuesday, April 29, 2014 3:49 PM
>         To: users at gecode.org <mailto:users at gecode.org>
>         Subject: [gecode-users] Constraint store
>
>         Hi,
>
>         I develop a compiler for a formal concurrent language called
>         'ntcc'.
>         This language introduces a constraint store that we can
>         manipulate with two
>         operations:
>
>         * Ask(c): ask the store d if c is entailed by d.
>         * Tell(c): Entail the constraint c in the store.
>
>         I'd like to use Gecode to implement it but I didn't find
>         anything related to
>         the notion of store. A technique, probably inefficient, would
>         be to copy the
>         store each time we want to ask something, add the constraint
>         in and search
>         for the first solution (if it exists). Also, we are not
>         interested by the
>         solution but only by the existence of a solution.
>
>         If you have any leads on previous works or implementations of
>         such a store
>         using (or implemented in) Gecode, I'd be grateful.
>
>         Regards,
>         Pierre Talbot (IRCAM)
>
>         _______________________________________________
>         Gecode users mailing list
>         users at gecode.org <mailto:users at gecode.org>
>         https://www.gecode.org/mailman/listinfo/gecode-users
>
>
>
>     _______________________________________________
>     Gecode users mailing list
>     users at gecode.org <mailto:users at gecode.org>
>     https://www.gecode.org/mailman/listinfo/gecode-users
>
>
>
>
> -- 
> Gustavo Gutierrez