Home

This wiki contains details about epilog-ts, the TypeScript implementation of the Epilog programming language. epilog-ts provides a well-typed interface for creating, manipulating, and analyzing logic programs.

epilog-ts is not the primary implementation of Epilog. The primary implementation of Epilog is epilog.js, an interpreter maintained by Prof. Michael Genesereth.

epilog-ts is based on epilog.js.

Epilog was developed at Stanford University, and is taught in its Logic Programming course.

The primary IDE for Epilog is the browser-based Sierra, also maintained by Prof. Michael Genesereth.

What can you find in this wiki?

• The internal epilog.js representation of rules and data. Since epilog-ts is based on epilog.js, epilog-ts needs to parse the internal epilog.js representation of rules and data in order to convert it into the land of types.