Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/tptp/pdl-tableau/README
For documentation on the input format of pdl-tableau, see http://www.csc.liv.ac.uk/~ullrich/pdl-tableau/ For instructions on the use of pdl-tableau, see the file pdl_tableau.pl