Epilog System and Episodic Logic
In contrast to Epilog Inference Package, the original Epilog system was created by Schubert, Hwang and Schaeffer for knowledge representation in Natural Language Processing, and is documented at the University of Rochester's Web. While it is properly a member of Knowledge Representation Systems, it can be consider a member of Theorem Provers as well.