This is an archive of an inactive wiki and cannot be modified.

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/.