Re: "freeze"

[Sylvain Soliman]

    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