資源描述：
《prolog語言.ppt》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在行業(yè)資料-天天文庫。
1、PROLOG語言Prolog在英語中的意思就是ProgramminginLOGic（邏輯編程）。它是建立在邏輯學的理論基礎之上的，最初是運用于自然語言的研究領域。然而現(xiàn)在它被廣泛的應用在人工智能的研究中，它可以用來建造專家系統(tǒng)、自然語言理解、智能知識庫等。它對一些通常的應用程序的編寫也很有幫助。使用它能夠比其他的語言更快速地開發(fā)程序，因為它的編程方法更象是使用邏輯的語言來描述程序。PROLOG特點超高級語言說明性語言(對于某些問題)只要告訴計算機做什么表達力強堅實的數(shù)學基礎——一階謂詞邏輯自動回溯支持遞歸歸調(diào)用
2、廣泛應用于AI領域PROLOG要點DOMAINS(論域段）PREDICATES（謂詞定義）CLAUSES（事實及規(guī)則段）GOAL（目標）predicatesthief(symbol)likes(symbol,symbol)may_steal(symbol,symbol)clausesthief(john).likes(tom,food).likes(john,wine).likes(john,X):-likes(tom,X).may_steal(X,Y):-thief(X),likes(X,Y).DialogG
3、oal:may_steal(john,What)What=foodWhat=wine2Solutions運行表（List） ——表由方括號與元素組成，元素又可是一個表。非空表可用[x
4、y]表示，x—表頭y—表尾例:[a,b,c][a
5、[b,c]][b,c][b
6、[c]][c][c
7、[]]空表無表頭！表頭a表尾[b,c]表頭b表尾[c]表頭c表尾[]匹配與回溯自動實現(xiàn)的搜索算法之一——匹配Prolog語言能自動將目標與知識庫子句集中的事實、規(guī)則的結論部分（從第一句開始到最后一句為止）逐句進行匹配。下述三種情況之一
8、者匹配成功：（1）完全相同例：thief(john)與thief(john)（2）謂詞相同，相應項一為變量，一為常量——變量實例化例：thief(Y)與thief(john)匹配結果：Y被實例化為john{john/Y}（3）謂詞相同，相應項均為變量——變量一致化clauseslikes(tom,talk)./*1*/likes(bill,swim)./*2*/likes(bill,talk)./*3*/likes(mary,wine)./*4*/likes(tom,X):-likes(mary,X)./*5*
9、/如果Goal：likes(bill,talk)與第3句匹配一致如果Goal：likes(tom,wine)與第5句左部匹配{wine/X}任務轉(zhuǎn)化為likes(mary,wine)與第3句匹配一致例1DialogGoal:likes(bill,talk)TrueDialogGoal:likes(tom,wine)True運行運行clauseslikes(tom,talk)./*1*/likes(bill,swim)./*2*/likes(bill,talk)./*3*/likes(mary,wine)./*4
10、*/likes(tom,X):-likes(mary,X)./*5*/如果Goal：likes(tom,swim)與第5句左部匹配{swim/X}任務轉(zhuǎn)化為likes(mary,swim)與1—5匹配均失敗DialogGoal:likes(tom,swim)False運行clausesfact(1,1)./*1*/fact(X,Y):-X1=X-1,fact(X1,Y1),Y=X*Y1./*2*/設Goal：fact(2,N)與1匹配失敗與2左部匹配成功{2/X,N/Y}產(chǎn)生三個子目標：(1)X1=2-1(2)
11、fact(X1,Y1)(3)N=2*Y1(1)X1=1立即成功(2)fact(1,Y1)與/*1*/匹配成功{1/Y1}(3)N=2*1=2成功例2DialogGoal:fact(2,N)N=21Solutions運行自動實現(xiàn)的搜索算法之二——回溯例:clauseslikes(tom,talk)./*1*/likes(bill,swim)./*2*/likes(bill,talk)./*3*/friend(john,X):-likes(X,talk),likes(X,swim)/*4*/設Goal:friend
12、(john,Who)搜索指針P1=1?3失敗，p1=4成功，{Who/X}變量一致化，產(chǎn)生兩個子目標：(1)likes(Who,talk)P2-1=1成功,變量實例化{tom/Who}(2)likes(tom,swim)P2-2=1?4均失敗,Who與tom脫解,回溯——試圖重新滿足子目標(1)重作：(1)likes(Who,talk)P2-1=2失敗,P2-1=3成功{bill/Wh
