Common Logic Concept

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.