Kevin Glynn wrote:
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
Yes, the implementation follows the record constraint system of the
cited paper.
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
