邏輯程序設計語言范型prolog語言控制抽象(編輯修改稿)
2025-02-03 01:43 本頁面
【文章內容簡介】 ? Prolog實驗環(huán)境 ? ? 項的合一 ? 歸結 ? 基于合一編程 ? 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 19 歸結 ? Prolog中的推理來自 Robison歸結原理 ? ， ? 在 Prolog中，如果 C1和 C2都是子句，且 C1的頭部與 C2的體中的一個項合一，那么就可以用 C1的體取代 C2里的那個項。 ? 例如： 21 EE ? 32 EE ?? 31 EE ?).Z,Y(t a k e s),Z,X(t a k e s:)Y,X(c l a s s m a t e s).254cs,m i k e(t a k e s).302a r t,m i k e(t a k e s).254cs,t o m(t a k e s).201h i s,t o m(t a k e s?c s 2 5 4Z,t o mX 實例化為實例化為假設).254,(:),( csYt a k e sYt o mc l a s s m a t e s ? 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 20 內容 ? ? Prolog的基本元素 ? Prolog實驗環(huán)境 ? ? 項的合一 ? 歸結 ? 基于合一編程 ? 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 21 基于合一編程 ? 【 例 1】 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 22 基于合一編程 ? 【 例 1】 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 23 基于合一編程 ? 【 例 2】 匹配失敗 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 24 基于合一編程 ? 【 例 2】 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 25 ? 【 例 3】 基于合一編程 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 26 ? 【 例 3】 基于合一編程 39。DR NO‘/Title 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 27 ? 【 例 3】 基于合一編程 39。DR NO‘/Title 匹配失敗 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 28 ? 【 例 3】 基于合一編程 39。DR NO‘/Title 310/Length 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 29 ? 【 例 3】 基于合一編程 39。DR NO‘/Title 310/Length 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 30 內容 ? ? ? ? Prolog控制流設計問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 31 Prolog控制流設計問題 ? 問題：（基于合一的編程實例） ? 采用哪種搜索策略搜索（ 搜索方向 、 搜索類型 ）目標？ ? 合一失敗，如何控制程序繼續(xù)進行求解問題？ ? 需要搜索更多的解（使用分號；）時，如何控制程序繼續(xù)進行求解問題？ ? 結論（控制流）： ? Prolog采用基于目標導向的深度優(yōu)先搜索策略。 ? 回溯是 Prolog內部最基本的 自動 的控制流機制。 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 32 Prolog控制流設計問題 目標導向的搜索有效地裁減了無關的搜索路徑 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 33 內容 ? ? ? ? Prolog控制流設計問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 34 回溯 ? 【 例 1】 使用 與 /或樹 解釋合一失敗后回溯搜索。 ).(),(:)().().().(Xc o l
高考資料相關推薦
鄂ICP備17016276號-1