Having said that, here's is a suggestion: why don't you develop a logic library of your own and publish it in the mogul archive? The Oz community is very collaborative and open-minded so you are likely to receive tips from the experts.
I ported Char module to logic-style LChar and rewrite some functions of List module in non deterministic style. Later, after I port more code and will have more expirence with Oz I publish them for test and receiving tips.
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
