逻辑的引擎（笔记）待续