[CL] capsule definition of CL(IF)?
rdm at cfcl.com
Sun Nov 20 11:43:54 CST 2005
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.
Could you give me something equivalent for CL(IF)? I'd also suggest
that this level of definition be available on
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.
More information about the CL