cltools

cltools copied to clipboard

---+ Tools for Common Logic

A collection of tools for manipulating Common Logic texts. See http://www.common-logic.org

At the moment the functionality is rather minimal. You can

• convert a CL text to Prover9 format

• convert a (subset of a) CL text to a Logic Program

• perform a 'macro-expansion' on a CL text using axioms from another CL text (useful for turning syntactically second-order axioms to first order)

Also, if you have the Thea2 library (http://github.com/vangelisv/thea/) then you can also generate OWL (you will first have to define some kind of mapping of your predicates to OWL axioms, in CL).

See translating vs embedding: http://www.ihmc.us/users/phayes/cl/sw2scl.html

Coming soon:

• generation of HTML from CL
• generation of Latex from CL

Requirements: SWI-Prolog

Examples: http://code.google.com/p/bfo/source/browse/#svn/trunk/fol