├── .gitignore ├── README ├── bin ├── cl-converter ├── cl-expand-macros ├── clif-to-clif ├── clif-to-lp ├── clif-to-prolog ├── clif-to-prover9 ├── clproc └── cltools-run-tests ├── 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 └── t ├── cltext.clif ├── foo.clif ├── import.clif ├── lp_test.clif ├── mm.clif ├── o1.clif ├── o2.clif ├── overlaps.clif ├── part_of-2o.clif ├── part_of.clif ├── psl_all.clf ├── rcc.clif ├── rcc8.p9 ├── site.clif └── transitive.clif /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/.gitignore -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/README -------------------------------------------------------------------------------- /bin/cl-converter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/cl-converter -------------------------------------------------------------------------------- /bin/cl-expand-macros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/cl-expand-macros -------------------------------------------------------------------------------- /bin/clif-to-clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/clif-to-clif -------------------------------------------------------------------------------- /bin/clif-to-lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/clif-to-lp -------------------------------------------------------------------------------- /bin/clif-to-prolog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/clif-to-prolog -------------------------------------------------------------------------------- /bin/clif-to-prover9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/clif-to-prover9 -------------------------------------------------------------------------------- /bin/clproc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/clproc -------------------------------------------------------------------------------- /bin/cltools-run-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/bin/cltools-run-tests -------------------------------------------------------------------------------- /cl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/cl.pl -------------------------------------------------------------------------------- /cl_cmdline.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/cl_cmdline.pl -------------------------------------------------------------------------------- /cl_io.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/cl_io.pl -------------------------------------------------------------------------------- /cl_owl2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/cl_owl2.pl -------------------------------------------------------------------------------- /cl_transform.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/cl_transform.pl -------------------------------------------------------------------------------- /clif_parser.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/clif_parser.pl -------------------------------------------------------------------------------- /clif_parser.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/clif_parser.plt -------------------------------------------------------------------------------- /clif_writer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/clif_writer.pl -------------------------------------------------------------------------------- /lp_writer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/lp_writer.pl -------------------------------------------------------------------------------- /owl_writer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/owl_writer.pl -------------------------------------------------------------------------------- /p9_parser.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/p9_parser.pl -------------------------------------------------------------------------------- /p9_writer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/p9_writer.pl -------------------------------------------------------------------------------- /plfact_writer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/plfact_writer.pl -------------------------------------------------------------------------------- /prolog_writer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/prolog_writer.pl -------------------------------------------------------------------------------- /t/cltext.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/cltext.clif -------------------------------------------------------------------------------- /t/foo.clif: -------------------------------------------------------------------------------- 1 | (part_of a b) 2 | -------------------------------------------------------------------------------- /t/import.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/import.clif -------------------------------------------------------------------------------- /t/lp_test.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/lp_test.clif -------------------------------------------------------------------------------- /t/mm.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/mm.clif -------------------------------------------------------------------------------- /t/o1.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/o1.clif -------------------------------------------------------------------------------- /t/o2.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/o2.clif -------------------------------------------------------------------------------- /t/overlaps.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/overlaps.clif -------------------------------------------------------------------------------- /t/part_of-2o.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/part_of-2o.clif -------------------------------------------------------------------------------- /t/part_of.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/part_of.clif -------------------------------------------------------------------------------- /t/psl_all.clf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/psl_all.clf -------------------------------------------------------------------------------- /t/rcc.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/rcc.clif -------------------------------------------------------------------------------- /t/rcc8.p9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/rcc8.p9 -------------------------------------------------------------------------------- /t/site.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/site.clif -------------------------------------------------------------------------------- /t/transitive.clif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmungall/cltools/HEAD/t/transitive.clif --------------------------------------------------------------------------------