Common Logic Concept

From OSF Wiki
Jump to: navigation, search

Common logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems. The CL definition permits and encourages the development of a variety of different syntactic forms, called "dialects."

Common Logic is published as an [xxx ISO standard], ISO/IEC 24707:2007 - Information technology — Common Logic (CL): a framework for a family of logic-based languages.

Additional Information on this Subject from Wikipedia

Wikipedia provides a detailed overview of many this wiki's concepts. This wiki provides a mashup to Wikipedia to provide an enriched reference source for Concept Articles. You may only edit the following article by being logged on directly to Wikipedia.