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 <ptal...@hyc.io
<mailto:ptal...@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-boun...@gecode.org
<mailto:users-boun...@gecode.org>
[mailto:users-boun...@gecode.org
<mailto:users-boun...@gecode.org>] On Behalf
Of Pierre Talbot
Sent: Tuesday, April 29, 2014 3:49 PM
To: users@gecode.org <mailto:users@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@gecode.org <mailto:users@gecode.org>
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
users@gecode.org <mailto:users@gecode.org>
https://www.gecode.org/mailman/listinfo/gecode-users
--
Gustavo Gutierrez
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
