动态库也称为全局数据库或工作存储器，是反映当前问题求解状态的集合。
作用.动态库中由各种事实、命题和关系组成的状态，既是推理机选用知识的依据，也是解释机制获得推理路径的来源。