Epilog is a knowledge representation language based on Dynamic Logic Programming (DLP). Epilog is similar to other logic programming languages, such as Datalog and Prolog, but there are some differences. Like Datalog, Epilog separates data and rules. Like Prolog, Epilog supports data and rules with functional terms. Like both of these languages, Epilog provides the ability to define views of data. However, Epilog also provides a way to express database dynamics. Whereas Prolog treats side effects implicitly using assert and retract as subgoals in view definitions, Epilog enables users to express side effects in the form of operations defined as database transformations.

Tutorial. The Tutorial tab above provides access to a course on Logic Programming featuring Epilog as the primary Logic programming language.

Vocabulary. The Vocabulary tab above provides access to documentation on the predefined vocabulary in Epilog.

Sierra is a browser-based integrated development environment (IDE) for Epilog. It is widely used for developing and demonstrating Epilog datasets and rulesets.

Examples. The Examples tab above provides access to sample problem descriptions, solutions, and demonstrations.

Games. The Games tab provides access to a large collection of games defined in Epilog.

EpilogJS is a collection of Javascript subroutines for use in processing information encoded in Epilog. The subroutines can be used in web browsers as well as in standalone applications running in NodeJS.