KRHyper

KRHyper is the Knowledge-Representation Hyper Tableau Deduction System.

Resources

 * Homepage of the new implementation of (runs on Unix systems)
 * A precursor system written in Eclipse Prolog can be found here
 * KRHyper has been tested with Windows. for more see KRHyper with Windows