MKRP

The Markgraph Karl Refutation Procedure, a graph-based resolution theorem prover written in Common Lisp.