CLASSIC Description and Reference Manual for the COMMON LISP Implementation, Version 1.0

The CLASSIC Knowledge Representation System represents a new generation of frame-based description systems, emphasizing simplicity of the description language and completeness and tractability of its inference algorithms. The CLASSIC system goes significantly beyond existing systems like KANDOR in many important respects, including its language, integration with the host system, and treatment of individuals.