[CL] capsule definition of CL(IF)?
John F. Sowa
sowa at bestweb.net
Sun Nov 20 11:58:28 CST 2005
Just erase the S in SCL:
> Common Logic is a first-order logical language intended
> for information exchange and transmission. CL allows
> for a variety of different syntactic forms, called
> dialects, all expressible within a common XML-based
> syntax and all sharing a single semantics.
If you want to say something about CLIF, you can add
The proposed ISO standard for Common Logic includes
the definition of two dialects, the Common Logic
Interchange Format (CLIF) and the Conceptual Graph
Interchange Format (CGIF), whose semantics are defined
by their translation to the abstract syntax of Common Logic.
Many other logic-based languages could also be defined as
CL dialects by similar translations.
More information about the CL