On 26.02.2007, at 12:30, Aurélien Campéas wrote:
Now, if you want to run preemptive (Python) code inside a space, it's
a
different story. You need something like that if you want to use
spaces
for logic programming. The logic program inside the space should stop
when a nondeterministic choice has to be made, and let the search
engine
(outside the space) decide what to do.
Maybe I need to hear more about 'impure' constraint programming ;-)
The deep guard combinators
(http://www.mozart-oz.org/documentation/system/
node44.html#chapter.combinator), for example, express logic programming
operations like disjunction or negation.
For example, Combinator.'reify' allows for the reification of any Oz
statement (constrains and any other logic programming statement).
Best,
Torsten
--
Torsten Anders
Sonic Arts Research Centre • Queen's University Belfast
Frankstr. 49 • D-50996 Köln
Tel: +49-221-3980750
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
