Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tools for common-logic
Prolog Perl JavaScript
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
t t


---+ Tools for Common Logic

A collection of tools for manipulating Common Logic texts. See

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
( 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:

Coming soon:

* generation of HTML from CL
* generation of Latex from CL

Requirements: SWI-Prolog


Something went wrong with that request. Please try again.