1 \subsection{015: KLIPS as a loadable module (isn't it already?)}
3 \subsubsection{015: Definition of requirement }
5 The KLIPS system should permit compilation as a loadable module to permit easy
8 \subsubsection{015: response}
10 This requirement is currently met in KLIPS1, and will be retained for future
13 While LKM is a permitted configuration, it must always be possible to compile
14 the module statically.