信息科学与技术学院学士学位论文
}
5.3.2基于树型结构的产生式规则的推理流程和代码实现
}
} else { }
if (NULL != DB_Result1) { }
if (pTemp == FL->pCur) { } // end of for
FL->pCur = FL->pCur->pFact_Next; sqlite3_free_table(DB_Result1);
// 释放查询结果空间
if (NULL != pErrMsg1) { }
printf(\ }
}
// end of for (n = 0; n < row1; n++)
return OK;
基于树型结构和链式结构结合的产生式规则的推理流程如图5-5所示。 基于树型结构和链式结构结合的产生式规则的推理流程代码如下所示。 // 根据条件链表推理，依次遍历每一个条件链表中的条件结点，并且将新产生的结论事实加到链表最后。
42
信息科学与技术学院学士学位论文
开始
否 存在未推理事实 是 是否遍历完所有规则 否 是 按推理链表，遍历结点指向的规则 否 是否满足规则条件 将推理规则状态恢复到此事实不存在的状是 删除互斥事实 Con_Lack减1 是 是否和已有事实互斥 否 Con_Lack为0 是 所触发的事实是否已经存在 是 根据结论事实触发动作 结束 否 否 将产生的新事实加入到临时事实链表中 图5-5 基于树型结构的产生式规则的推理流程图
43
