C3 linearization MRO

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Mon, 18 Jul 2005 02:04:30 +0200
Message-ID: <42daf210$0$56993$e4fe514c@news.xs4all.nl>

http://www.python.org/2.3/mro.html

and (background)

http://www.webcom.com/haahr/dylan/linearization-oopsla96.html#C3-linearization

contain a nice database challenge:
define a structure and a set of constraints such that it is impossible to insert classes into the heterarchy which would violate the C3 linearization MRO (Method Resolution Order).

I couldn't make it work. Can you? (I even tried prolog, but my prolog skills proved rusty). Received on Sun Jul 17 2005 - 19:04:30 CDT