Re: SUO: Re: CG: Negotiation Instead of Legislation
We have discussed a few times with Peter the relative merits
of Oz/Mozart vs. new Prolog developments - and agreed to disagree :-)
I would only add to what John already said that Jinni 2002 has a very
general object system of its own - supporting "cyclical depth first
multiple inheritance" (see
http://www.binnetcorp.com/download/jinnidemo/JinniUserGuide.html ).
It is is a fast, "all compile time" Object Oriented Prolog implementation.
Among other things, this allows mapping CGs (which are graphs!) directly to
compiled Jinni classes (the feature is source level and it will get also in
BinProlog's next release). I would add the fact that Arun's programs,
which are the key component of our joint work, are in Prolog - and
porting them to Oz's fairly different syntax would be very hard.
Cheers,
Paul Tarau