---+ 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