Common Logic
Common logic (CL) is a formal language based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.
More information on Common Logic can be found at http://cl.tamu.edu/.
This is an archive of an inactive wiki and cannot be modified.
Common logic (CL) is a formal language based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.
More information on Common Logic can be found at http://cl.tamu.edu/.