a silly question about concurrent propagators

[Torsten Anders]

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