【正文】 這三個謂詞的功能是： asserta (fact).把 fact插入當(dāng)前動態(tài)數(shù)據(jù)庫中的同名謂詞的事實之前； assertz (fact).把 fact插入當(dāng)前動態(tài)數(shù)據(jù)庫中的同名謂詞的事實之后； retract(fact).把 fact從當(dāng)前動態(tài)數(shù)據(jù)庫中刪除。 student(1,張三 ,). student(2,李四 ,). student(3,王五 ,). print:student(Number,Name,Score), write(Number,Name,Score),nl, fail. print:. 第 2章 人工智能程序設(shè)計語言 這個程序段中的 fail是一個內(nèi)部謂詞 ， 它的語義是恒失敗 。 第 2章 人工智能程序設(shè)計語言 分支與循環(huán) P R O L O G中并無專門的分支和循環(huán)語句 ， 但PROLOG也可實現(xiàn)分支和循環(huán)程序結(jié)構(gòu) 。 (5) write(X1,X2,… Xn)。 例如 ， 下面就是 TorboPROLOG的幾種輸入輸出謂詞： 第 2章 人工智能程序設(shè)計語言 (1) readln (X)。 第 2章 人工智能程序設(shè)計語言 例如： p(X,Y,Z):Z=X+Y. 當(dāng)變量 X、 Y、 Z全部被實例化時 ， “ =” 就是比較符 。 例如： Y is X+5 或 Y=X+5 (*) 第 2章 人工智能程序設(shè)計語言 就使變量 Y實例化為 X+5的值 (當(dāng)然 X也必須經(jīng)已被某值實例化 )， 可以看出 ， 這里對變量 Y的實例化方法類似于其他高級程序語言中的 “ 賦值 ” ， 但又不同于賦值 。 第 2章 人工智能程序設(shè)計語言 3. 算術(shù)表達式 Turbo PROLOG提供了五種最基本的算術(shù)運算：加 、減 、 乘 、 除和取模 ， 相應(yīng)運算符號為 +、 、 *、 /、 mod。(c,［ ］ ))) ［ a,b,c］ 第 2章 人工智能程序設(shè)計語言 表的說明方法是在其組成元素的說明符后加一個星號 *。 這個結(jié)構(gòu)的函數(shù)名取決于具體的PROLOG版本 。 不含任何元素的表稱為空表，記為［］。 2)結(jié)構(gòu) 結(jié)構(gòu)也稱復(fù)合對象 ， 它是 TurboPROLOG謂詞中的一種特殊的參量項 （ 類似于謂詞邏輯中的函數(shù) ） 。Turbo PROLOG的標(biāo)準領(lǐng)域即標(biāo)準數(shù)據(jù)類型 ， 包括整數(shù) 、 實數(shù) 、 符號 、 串和符號等 ， 其具體說明如表 所示 。 ： 第 2章 人工智能程序設(shè)計語言 另外，在程序的首部還可以設(shè)置指示編譯程序執(zhí)行特定任務(wù)的編譯指令；在程序的任何位置都可設(shè)置注解。我們也可以使它變?yōu)樽C明過程 。 第 2章 人工智能程序設(shè)計語言 易見 ， 當(dāng)測試到程序中第三個事實時 ， 第一個子目標(biāo)便求解成功 ， 且變量 X被約束為 mary。 于是 ， 剛才的子目標(biāo) likes(X,reading)和 likes(X,music) 第 2章 人工智能程序設(shè)計語言 被撤消 ， 系統(tǒng)又回溯到原目標(biāo) friend(john,X)。 我們?nèi)砸陨厦娴某绦驗槔?。 (3)如果其中一個是常量 ， 一個是約束變量 ， 則約束值與常量必須相同 。 第 2章 人工智能程序設(shè)計語言 PROLOG程序的運行機理 既然 PROLOG程序是基于 Horn子句的邏輯程序 ，那么其運行機理自然就是基于歸結(jié)原理的演繹推理（ 歸結(jié)原理將在第 3章介紹 ） 。 likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane ,smith). friend(john,X):likes(X,reading),likes(X,music). friend(john,X):likes(X,sports),likes(X,music). ?friend(john,Y). 第 2章 人工智能程序設(shè)計語言 可以看出 ， 這個程序中有四條事實 、 兩條規(guī)則和一個問題 。 例如 ， 上面的第一條規(guī)則就表示 “ 如果 X是動物 ，并且 X有羽毛 ， 則 X是鳥 ” ；第二條規(guī)則就表示 “ X是Y的祖父 ， 如果存在 Z， X是 Z的父親并且 Z又是 Y的父親 ” 。 例如： student(john). like( mary ,music). 就是 PROLOG中的兩個合法事實 。 需進一步學(xué)習(xí)的讀者 ， 可參閱有關(guān)專門著作 。例如對于操作符加＋和乘 所以 ， 這個函數(shù) N!是遞歸定義的 。若 x的值為表 ， 則COND的返回值為表的長度 。 第 2章 人工智能程序設(shè)計語言 條件函數(shù)也稱分支函數(shù) ， 類似于其他語言中的分支語句 ， 其作用是控制程序的流程 。 例如： (ATOM′a)。 X 得到值 8 (SET′Y′(a b c))。 ((*48)(/105))表示 4 810/5， 返回值為 30。 功能取出表中的表頭 。(CNIL) (AB) (AC)) 第 2章 人工智能程序設(shè)計語言 表 (list)是 LISP語言中最常用的數(shù)據(jù)類型 ， 也是主要的處理對象 。 在其前面可以有符號 “ ”或 “ +” ， 中間可出現(xiàn) “ .” ， 用來表示整數(shù)和實數(shù) 。S─表達式又可分為原子和表兩大類 。 3. 邏輯型與面向?qū)ο笙嘟Y(jié)合的語言 第 2章 人工智能程序設(shè)計語言 函數(shù)型程序設(shè)計語言 LISP LISP語言的主要特點是： (1) LISP程序由一組函數(shù)組成 ， 程序的執(zhí)行過程是函數(shù)的調(diào)用過程 。 第 2章 人工智能程序設(shè)計語言 因而 ， 現(xiàn)在面向?qū)ο蟪绦蛟O(shè)計語言也成為一種人工智能程序設(shè)計語言 ， 面向?qū)ο蟪绦蛟O(shè)計也被廣泛引入人工智能程序設(shè)計 ， 特別是知識工程 、 專家系統(tǒng)程序設(shè)計 。特別是 1981年日本宣布要以 PROLOG作為他們正在研制的新一代計算機 —— 智能計算機的核心語言，更使PROLOG舉世矚目，迅速風(fēng)靡世界。第 2章 人工智能程序設(shè)計語言 第 2章 人工智能程序設(shè)計語言 綜述 函數(shù)型程序設(shè)計語言 LISP 邏輯型程序設(shè)計語言 PROLOG Turbo PROLOG程序設(shè)計 第 2章 人工智能程序設(shè)計語言 綜述 函數(shù)型語言 LISP是一種函數(shù)型程序設(shè)計語言 。 第 2章 人工智能程序設(shè)計語言 PROLOG語言是以 Horn子句邏輯為基礎(chǔ)的程序設(shè)計語言 ， 它是目前最具代表性的一種邏輯程序設(shè)計語言 。 面向?qū)ο蟪绦蛟O(shè)計語言也種類繁多 ， 已發(fā)展成為一個大家族 。 (2) 程序和數(shù)據(jù)在形式上是相同的 ， 即都是符號表達式 ， 簡稱為 S─表達式 。 原子 (atom)是由字母和數(shù)字組成的字符串 ， 是 S─表達式的最簡單情況 。例如： 25 6 。 表是由圓括號括起來的由空格分開的若干個元素的集合 。(B(D 例如： (CAR′(LISP Language Program)) 返回值為： LISP 第 2章 人工智能程序設(shè)計語言 2) CDR函數(shù) 格式 (CDR表 ) 功能取出表中的表尾 。 第 2章 人工智能程序設(shè)計語言 3. 求值與賦值函數(shù) 在上面的函數(shù)中多次出現(xiàn)撇號 ′， 它的意思是禁止求值 。 Y 得到值 (a b c) (SET′Z(CDRY)。返回 T (ATOM′(a b))。 格式 (COND(P1 e1) (P2e2) … (Pnen)) 其中 Pi(i=1,...,n)為謂詞 ， ei(i=1,...,n)為一個或多個S─表達式 。 第 2章 人工智能程序設(shè)計語言 自定義函數(shù) 基本函數(shù)是 LISP提供的基本處理功能 ， 要用 LISP編程解決實際問題 ， 僅有基本函數(shù)還是不夠的 ， 用戶還必須根據(jù)問題的需要 ， 利用基本函數(shù)自定義所需的函數(shù) 。 需說明的是 ， 一個函數(shù)是否能遞歸定義 ， 要取決于以下兩條： (1)函數(shù)的求值存在最簡的情形 ， 在這種情形下函數(shù)值是顯然的或已知的； (2)該函數(shù)對于其參數(shù)的求值 ， 可以歸結(jié)為對另一些參數(shù)的求值 ， 而且后者比前者更容易求值 ， 即使問題朝最簡情形逼近了一步 。 在數(shù)學(xué)上有 d(u＋ v)/dx＝ du/dx＋ dv/dx d(u實際上 ， 以此為入門和基礎(chǔ) ， 讀者就可以參照某一具體的 LISP語言資料 ， 進行 LISP程序設(shè)計了 。 第 2章 人工智能程序設(shè)計語言 功能 一般表示對象的性質(zhì)或關(guān)系 。 作為特殊情形 ， 規(guī)則中的謂詞也可以只有謂詞名而無參量 。 其中事實 、 規(guī)則和問題都分行書寫 。 下面我們就來看PROLOG程序是怎樣運行的 。 (4)至少有一個是自由變量 。 設(shè)所給的詢問是 ?friend(john,Y).(john和誰是朋友 ?) 則求解目標(biāo)為 friend(john,Y). 這時 ， 系統(tǒng)對程序進行掃描 ， 尋找能與目標(biāo)謂詞匹配合一的事實或規(guī)則頭部 。 這時 ，系統(tǒng)從該目標(biāo)剛才的匹配語句處 （ 即第五句 ） 向下繼續(xù)掃描程序中的子句 ， 試圖重新使原目標(biāo)匹配 ， 結(jié)果發(fā)現(xiàn)第六條語句的左部 ， 即規(guī)則 friend(john,X):likes(X,sports),likes(X,music). 的頭部可與目標(biāo)為謂詞匹配 。 這樣 ， 第二個子目標(biāo)也就變成了 likes(mary,music). 再對它進行求解 。 例如 ， 把上述程序中的詢問改為 friend(john,mary) 則系統(tǒng)會回答 :yes 若將詢問改為： friend(john,smith) 則系統(tǒng)會回答 :no