SUO: Re: AW: Common logic standard for KIF, CGs, and other notations
Pierre,
That has very little to do with SUO, other than to say that
we are working on the underlying notations for supporting SUO
and similar kinds of projects.
PG> This is all very fine. How does it relates to the SUO? Is it
> because there has been no procedural issue lately that you suggest
> we argue on those of other groups?
For anyone who is happy with KIF, CL will support KIF. For anyone
who prefers other logic-based notations, CL should be able to
support them as well.
PG> BTW, I haven't seen a rant on SUOPenCycOrWhatever lately.
> I'm almost concerned by the inactivity of this list.
It's either a drought or a flood. On average, it evens out.
John Sowa