邏輯程序設(shè)計語言范型prolog語言控制抽象(已修改)
2025-01-19 01:43 本頁面
【正文】 2022年 2月 4日星期五 程序設(shè)計語言范型 Programming Languages Paradigms 教師： 張榮華 華北電力大學計算機系軟件教研室（保定） 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第三部分 第七章 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 3 參考文獻 ? Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz ? prolognow/ 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 4 內(nèi)容 ? ? Prolog的基本元素 ? Prolog實驗環(huán)境 ? ? 項的合一 ? 歸結(jié) ? 基于合一編程 ? 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 5 ? Prolog（ Programming in Logic） ? 誕生于 20世紀 70年代初 ? 法國馬賽大學作為自然語言理解項目的一部分研制成功 ? 目前，愛丁堡大學開發(fā)的 Prolog版本使用最為廣泛。 ? 迄今最能體現(xiàn) 邏輯程序設(shè)計思想 的邏輯編程語言 ? “ 說明式 ” 的語言； ? 采用一階謂詞演算說明（描述）問題 ? 知識庫（事實和規(guī)則）的描述采用 子句 （ Clause）形式 ? 控制流機制 ? 置換、合一 ? 歸結(jié) ? 回溯、深度優(yōu)先搜索 ? 反向推理 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 6 內(nèi)容 ? ? Prolog的基本元素 ? Prolog實驗環(huán)境 ? ? 項的合一 ? 歸結(jié) ? 基于合一編程 ? 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 7 Prolog的基本元素 ? 【 例 1】 ：水平線與垂直線問題。 ? 使用兩個謂詞： vertical/2 和 horizontal/2 vertical(line(point(X,Y),point(X,Z))). horizontal(line(point(X,Y),point(Z,Y))). vertical(line(point(1,1),point(1,3))). yes 事實 查詢 /目標 horizontal(line(point(1,1),point(2,Y))). Y = 1 。 no horizontal(line(point(2,3),P)). P = point(_G434,3) 。 no 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 8 Prolog的基本元素 ? 【 例 2】 求解以下六個英語單詞的縱橫字謎問題。 ? abalone, abandon, anagram, connect, elegant, enhance 事實 規(guī)則 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 9 Prolog的基本元素 ? Prolog程序的語句（ 子句 ）包括： ? (1)事實（ Facts） ? 沒有體部的 horn子句，即被假定為真的命題。 ? ? (2)規(guī)則（ Rules） ? 有頭和體的 horn子句，只有體部的每個項都為真，頭部才為真。 ? father( john, jim). grandparent( Person1, Person2 ) : parent( Person3, Person2 ), parent( Person1, Person3 ). Head Body 邏輯程序設(shè)計語言范型 Prolog語言控制抽象 第七章 10 Prolog的基本元素 ? Prolog語句由 項（ term） 構(gòu)成 ? ①常量 ? 原子（ atom）： Prolog的符號值 ? 以小寫字母開始的一串字母、數(shù)字、下劃線或用單引號界定的一串任何可打印的 ASCII字符。 ? 整數(shù) ? ②變量 ? 以大寫字母開始一串字母、數(shù)字和下劃線； ? 下劃線（ _）表示 匿名變量 ； ? 注意與命令式語言中變量的區(qū)別。 ? ③結(jié)構(gòu)（謂詞 /復雜項） ? vertical(lin
高考資料相關(guān)推薦
鄂ICP備17016276號-1