If possible

[Gianni Alberti]

I found some code examples of other CSP languages (LAURE, CHARME) .
In such language there is a clause "possible" that is frequently used during
search process.
This clause test the applicability of a constraint and return true or false if
the constraint can be satisfied : the logic apparently is : apply a constraint
distribute , test if applicable and backtrack and give me the result of the test.
In Oz this process I think can be implemented using Spaces.
Do You have any example of this ?
Thanks
Best Regards
Gianni Alberti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20020306/b745d85d/attachment.html