以关系组织数学知识[#135] 用miniKanren查询规则：将规则与目录事实组合为关系查询。 查询没有入向引用的页面：以同一查询机制检查项目中的孤立树。 关系查询参考：DSL、规则目录与项目谓词的速查。