邏輯程序設計語言范型prolog語言控制抽象(參考版)
2025-01-10 01:43本頁面
【正文】 。 3. 與預定義謂詞 fail結合，使得 Prolog對一個目標求解立即失敗，并放棄對其它規(guī)則的選擇。 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 58 cut ? cut謂詞的幾種使用： 1. 當獲得正確答案時，立即停止求解并防止回溯。 a: b, c, d, e, !, f, g, h, I, j. a: b, c, d, e, !, f, g, h, I, j . a: b, c, d, e, !, f, g, h, I, j . 立即失敗 Succeed Fail Redo Backtrack 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 53 1/X 1/X 2/X 3/X 【 例 1】 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 54 1/X 1/X 【 例 2】 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 55 【 例 3】 1/X 1/Y 2/Y 3/Y 0/X, 0/Y 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 56 cut ? 【 例 4】 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 57 cut ? 綠色截斷（ green cut） ? 加入 cut后，不改變程序的邏輯含義，效率更高。 X=_G206, Y=_G207 a/X, c/Z a/Y b/Y 解 2 解 1 b/X, c/Z a/Y 解 3 b/Y 解 4 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 40 回溯 ? 【 例 3】 求解以下六個英語單詞的縱橫字謎問題。 X=_G206, Y=_G207 a/X, c/Z a/Y b/Y 解 2 解 1 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 38 回溯 ? 【 例 2】 使用 與 /或樹 解釋利用回溯搜索多個解。 ).(),(:)().().().(Xc o l dXr a i n yXs n o w yr o c h e s t e rc o l dr o c h e s t e rr a i n ys e a t t l er a i n y?C=X=_G206 seattle/_G206 rochester/_G206 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 36 回溯 ? 【 例 2】 使用 與 /或樹 解釋利用回溯搜索多個解。 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 32 Prolog控制流設計問題 目標導向的搜索有效地裁減了無關的搜索路徑 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 33 內容 ? ? ? ? Prolog控制流設計問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 34 回溯 ? 【 例 1】 使用 與 /或樹 解釋合一失敗后回溯搜索。DR NO‘/Title 310/Length 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 30 內容 ? ? ? ? Prolog控制流設計問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 31 Prolog控制流設計問題 ? 問題：（基于合一的編程實例） ? 采用哪種搜索策略搜索（ 搜索方向 、 搜索類型 ）目標？ ? 合一失敗，如何控制程序繼續(xù)進行求解問題？ ? 需要搜索更多的解（使用分號；）時，如何控制程序繼續(xù)進行求解問題？ ? 結論（控制流）： ? Prolog采用基于目標導向的深度優(yōu)先搜索策略。DR NO‘/Title 匹配失敗 邏輯程序設計語言范型 Prolog語言控制抽象 第七章 28 ? 【 例 3】 基于合一編程 39。 ? 例如： 21 EE ? 32 EE ?? 31 EE ?).Z,Y(t a k e s
高考資料相關推薦
鄂ICP備17016276號-1