EPILOG
Epilog is a reasoner for Episodic logic. The main page for Episodic logic and epilog is http://www.cs.rochester.edu/research/epilog/
Here we have worked on adding a few features to the system including: support for knowledge retraction, improvements to knowledge indexing and equality handling.