Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Prolog
Perl
JavaScript
Shell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
| Failed to load latest commit information. | |||
|
bin |
|
|
|
|
t |
|
|
|
|
.gitignore |
|
|
|
|
README |
|
|
|
|
cl.pl |
|
|
|
|
cl_cmdline.pl |
|
|
|
|
cl_io.pl |
|
|
|
|
cl_owl2.pl |
|
|
|
|
cl_transform.pl |
|
|
|
|
clif_parser.pl |
|
|
|
|
clif_parser.plt |
|
|
|
|
clif_writer.pl |
|
|
|
|
lp_writer.pl |
|
|
|
|
owl_writer.pl |
|
|
|
|
p9_parser.pl |
|
|
|
|
p9_writer.pl |
|
|
|
|
plfact_writer.pl |
|
|
|
|
prolog_writer.pl |
|
|
README
---+ 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