ChangeLog

2011-09-30
The commandline option -c|--clpl has been removed. In stead there is one -C|--CL.pl for input theories in the CL.pl format, and another switch -d|--depth-first for a strategy similar to that of CL.pl


2011-03-02
Added a rudimentary info file

Added functionality to the check target of make
	
Changed name of executable from "prover" to "clp", to be inline with project name
	
Changed the standard strategy to absolutely prioritize also existential non-splitting rules. 
	
Started adding support for not using the RETE algorithm. Necessary for testing efficiency of RETE