[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Timothy John Hickey
Tue, 9 Dec 2003 06:19:42 -0500
Attributed variables is what I really wanted all along!
On Tuesday, December 9, 2003, at 05:31 AM, Sylvain Soliman wrote:
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
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
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
Sylvain Soliman <address@hidden> Tel: (+33) 1
INRIA Rocquencourt - Projet CONTRAINTES Fax: (+33) 1
Domaine de Voluceau, Rocquencourt, BP 105 GnuPG Public Key:
78153 LE CHESNAY CEDEX - FRANCE
Users-prolog mailing list