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.

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively