Re: "freeze"

[Timothy John Hickey]

Ahhhh!
Attributed variables is what I really wanted all along!
Great work!

---Tim---

On Tuesday, December 9, 2003, at 05:31 AM, Sylvain Soliman wrote:

>     Hi,
>
> > Does anyone know how hard it would be to add Colmerauer's "freeze"
> > predicate to gnuprolog? It is a built-in of the form freeze(X,G) which
> > has
> > the behavior that when X becomes a non-variable it calls the goal G.
> > For finite-domain variable, a natural interpretation would be to have 
> > it
> > call G when X has been contracted to a single value.
>
>   You might want to have a look at the coroutining facilities given by
> the attributed variables of GNU-Prolog-rh
> (http://contraintes.inria.fr/~haemmerl/gprolog-rh/).
>
>   Best,
>
>         Sylvain.
>
> --
> Sylvain Soliman <address@hidden>         Tel: (+33) 1 
> 39635761
> INRIA Rocquencourt - Projet CONTRAINTES            Fax: (+33) 1 
> 39635469
> Domaine de Voluceau, Rocquencourt, BP 105   GnuPG Public Key: 
> 0x0F53AF99
> 78153 LE CHESNAY CEDEX - FRANCE     
> http://contraintes.inria.fr/~soliman
>
>
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/users-prolog