[CL] capsule definition of CL(IF)?

[Rich Morin]

At 1:01 PM -0600 11/18/05, Pat Hayes wrote:
>Use CL or CLIF; SCL is now obsoleted and has no expectation
>of further support.

There is a nice summary of SCL, which I have been quoting in
a (WIP) article:

   SCL is a first-order logical language intended for information
   exchange and transmission.  SCL allows for a variety of different
   syntactic forms, called dialects, all expressible within a common
   XML-based syntax and all sharing a single semantics.

   - www.ihmc.us/users/phayes/SCLJune2004.html

Could you give me something equivalent for CL(IF)?  I'd also suggest
that this level of definition be available on

   http://philebus.tamu.edu/cl/ and
   http://en.wikipedia.org/wiki/Common_Logic

-r
-- 
email: rdm at cfcl.com; phone: +1 650-873-7841
http://www.cfcl.com        - Canta Forda Computer Laboratory
http://www.cfcl.com/Meta   - The FreeBSD Browser, Meta Project, etc.