Rukman Senanayake writes:
 >  Hi all,
 >  
 >  I am trying to find out if the current implementation fo Mozart/Oz supports 
 > CLP over records.  
 >  
 >  I found a paper published by Van Roy et al (Integrating efficient records 
 > into concurrent constraint programming) that suggests an implementation was 
 > done for early versions of Oz.
 >  
 >  Any input and pointers to an example would help a great deal :)
 >  
 >  Thanks in advance
 >  
 >  Rukman
 >  

Hi Rukman,

Oz has record constraints, see:

   http://www.mozart-oz.org/documentation/system/node43.html#chapter.recordc

I haven't read the cited paper so I don't know if they are equivalent.

regards
k

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to