邏輯程序設(shè)計(jì)語言范型prolog語言控制抽象-資料下載頁
2025-01-07 01:43本頁面
【正文】 ? ? ? Prolog控制流設(shè)計(jì)問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 49 Prolog程序的順序性 ? Prolog程序查詢目標(biāo)時(shí)按照特定的順序 自動執(zhí)行 ： ? 基于目標(biāo)反向推理 ? 深度優(yōu)先 ? 自上而下搜索知識庫中的 Horn子句； ? 從左向右搜索規(guī)則體中的各個(gè)項(xiàng)； ? 使用回溯機(jī)制嘗試新的搜索； ? Prolog是否是純邏輯式編程語言？ 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 50 Prolog程序的順序性 ? Prolog程序控制流（ suggested by Lawrence Byrd） GOAL Exception (error) CALL FAIL EXIT REDO 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 51 內(nèi)容 ? ? ? ? Prolog控制流設(shè)計(jì)問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 52 cut ? Prolog cut（截?cái)?/阻止回溯 ）機(jī)制 ? 使用內(nèi)部無參謂詞（?。?； ? 可以作為子目標(biāo)放在規(guī)則子句的體內(nèi)； ? ? 解釋： ? ①程序調(diào)用 cut總是成功； ? ②當(dāng)某個(gè)子目標(biāo)失敗回溯時(shí)，不允許越過！回溯。 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 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 53 1/X 1/X 2/X 3/X 【 例 1】 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 54 1/X 1/X 【 例 2】 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 55 【 例 3】 1/X 1/Y 2/Y 3/Y 0/X, 0/Y 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 56 cut ? 【 例 4】 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 57 cut ? 綠色截?cái)啵?green cut） ? 加入 cut后，不改變程序的邏輯含義，效率更高。 ? 紅色截?cái)?（ red cut） ? 加入 cut后，改變程序的邏輯含義； ? 應(yīng)當(dāng)盡量避免。 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 58 cut ? cut謂詞的幾種使用： 1. 當(dāng)獲得正確答案時(shí)，立即停止求解并防止回溯。 2. 防止不必要的回溯所產(chǎn)生的意外。 3. 與預(yù)定義謂詞 fail結(jié)合，使得 Prolog對一個(gè)目標(biāo)求解立即失敗，并放棄對其它規(guī)則的選擇。 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 59 內(nèi)容 ? ? ? ? Prolog控制流設(shè)計(jì)問題 ? 回溯 ? 遞歸 ? Prolog程序的順序性 ? cut ? fail 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 60 fail ? fail ? 是一個(gè)無參數(shù)的內(nèi)部謂詞； ? 當(dāng)程序調(diào)用該謂詞時(shí)， 立即失敗并強(qiáng)制回溯 ！ ? 與 cut結(jié)合，增加程序編寫的靈活性； ? 可以在一般規(guī)則中，增加特殊性； cutfail bination 1 2 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 61 fail ? 標(biāo)準(zhǔn) Prolog對 “ cutfail ” 的語法包裝： ? 內(nèi)部謂詞： \+ 邏輯程序設(shè)計(jì)語言范型 Prolog語言控制抽象 第七章 62 fail ? 注意： ? cutfail的組合（失敗時(shí)否定 negation as failure）并不等于邏輯否定。
高考資料相關(guān)推薦
鄂ICP備17016276號-1