On 10/2/05, Raphael Collet <[EMAIL PROTECTED]> wrote:
Russ Abbott wrote:
Another possibility is to program with "choice" in a direct style, i.e .,
think of your program explicitly as a non-deterministic one. The
exploration of all executions of the program is done by a search engine.
To me this is less confusing than the "magic" behind prolog, but YMMV.
That's exactly what I was originally hoping to do--program with choice directly. Is that possible without a visible call to a solver? I did want the solver to be in the background as in prolog (at least while doing Chapter 9).
-- Russ
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
