(theory-p <thing>)
Predicate which tests whether <thing> is a theory, or the name of a theory of implementation <implementation>. <implementation> should be a symbol (usually a keyword); if not specified, the current implementation is assumed (see IN-IMPLEMENTATION.)