[Top][All Lists]

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


From: Timothy John Hickey
Subject: "freeze"
Date: Sat, 6 Dec 2003 07:40:19 -0500

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.

Thanks for any pointers,
---Tim Hickey

reply via email to

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