Epikit: a library of subroutines supporting declarative representations and reasoning

Epikit is a library of Common Lisp subroutines intended for use in the construction of programs that operate on databases encoded in Knowledge Interchange Format (KIF).The goals of Epikit are to provide a robust, portable, and efficient library of subroutines to support representation and reasoning methods based on Logic. The focus primarily is on first-order logic (FOL) with extensions to support meta-knowledge, i.e., knowledge about other expressions in the KIF language, and extensions to support the specification and interpretation of programs for intelligent control applications.