Information technology - Common Logic (CL) - A framework for a family of logic-based languages
This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.
The following features are essential to the design of this document.
The following are within the scope of this document:
The following are outside the scope of this document:
This document describes Common Logic's syntax and semantics.
This document defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented in this document. The purpose is to facilitate interchange of first-order logic-based information between systems.
Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.
Failed to load document history.
| Publish Date | Document Id | Type | View |
|---|
