Marc-Antoine Parent <maparent@acm.org> writes:
> I remember seeing a design for a language (never implemented) where
> constraints would determine the class... In other words, when the
> constraint store realizes your Rectangle has equal sides, the system
> makes it an instance of Square. And I did later find a system
[...]
i thought this was interesting and posted a pointer to it at
http://lambda.weblogs.com/discuss/msgReader$7158?mode=day
in reply, someone (paul snively) drew a parallel with description
logics: http://lambda.weblogs.com/discuss/msgReader$7167?mode=day
so now i'm back here to ask whether mozart/oz has been used to
implement a description logic classifier and whether such an
implementation could be made to work within the language to implement
this kind of behaviour.
this is all very new to me, so even obvious statements would be
interesting.
thanks,
andrew
-- http://www.acooke.org- Please send submissions to users@mozart-oz.org and administriva mail to users-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/. Please send bug reports to bugs@mozart-oz.org.