GB/T 30880-2014
ActiveInformation technology—Common Logic (CL): a framework for a family of logic-based languages
信息技术 通用逻辑（CL）：基于逻辑的语言族框架
Application Summary AI generated
This standard defines a framework for a family of logic-based languages, enabling the formal representation and exchange of information across different systems. It is applied in information technology contexts, particularly for knowledge representation, ontology development, and data interoperability in fields like artificial intelligence and semantic web applications.
Related Standards
GB/T 16681-2003
Information technology--Chinese interface specifications of open system
GB/T 18349-2001
Integrated Circuit/Computer Hardware Description Language Verilog
GB/T 18221-2000
Information technology--Programming languages，their environments and system software interfaces--Language-independent datatypes
GB/T 17962-2000
Information technology--Information Resource Dictionary System(IRDS) services interface
GB/T 17544-1998
Information technology--Software packages--Quality requirements and testing
GB/T 17548-1998
Information technology--Test method for measuring conformance to POSIX
GB/T 3057-1996
Information technology--Programming language--Fortran
GB/T 16656.11-1996
Industrial automation systems and integration--Product data representation and exchange(STEP)--Part 11:Descriptive methods:The EXPRESS--Languagereference manual
Transparency note: The application summary and key sentences on this page were automatically generated by AI from the standard's original text. This content has not been human-verified and should not be used for compliance or regulatory purposes. Always refer to the official standard document from the issuing authority.