[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "freeze"

From: Timothy John Hickey
Subject: Re: "freeze"
Date: Tue, 9 Dec 2003 06:19:42 -0500

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


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 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



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

Users-prolog mailing list

reply via email to

[Prev in Thread] Current Thread [Next in Thread]