逻辑程序

贵州省长征资金项目，研究基于遗忘的诊断推理。