1簡介

Prolog(Programming in Logic的縮寫)是一種邏輯編程語言。它建立在邏輯學的理論基礎之上, 最初被運用於自然語言等研究領域。現已廣泛的應用在人工智慧的研究中,可以用來建造專家系統、自然語言理解、智能知識庫等。同時對一些通常的應用程序的編寫也很有幫
Prolog
助,能夠比其他的語言更快速地開發程序,因為它的編程方法更象是使用邏輯的語言來描述程序。

2歷史

Prolog語言最早由Aix-Marseille大學的Alain Colmerauer與Phillipe Roussel等人於60年代末研究開發。1972年被公認為是Prolog語言正式誕生的年份,自1972年以後,分支出多種Prolog的方言。最主要的兩種方言為Edinburgh和Aix-Marseille。最早的Prolog解釋器由Roussel建造,而第一個Prolog編譯器則是 David Warren編寫的。
Prolog一直在北美和歐洲被廣泛使用。日本政府曾經為了建造智能計算機而用Prolog來開發ICOT第五代計算機系統。在早期的機器智能研究領域,Prolog曾經是主要的開發工具。
80年代Borland開發的Turbo Prolog,進一步普及了Prolog的使用。1995年確定了ISOProlog標準
目前比較流行的實現工具包括 SWI-Prolog, Yap 等

3特點

1. prolog程序沒有特定的運行順序,其運行順序是由電腦決定的,而不是編程序的人。
從這個意義上來說,prolog程序不是真正意義上的程序。所謂程序就是按照一定的步驟運行的計算機指令,而prolog程序的運行步驟不由人來決定。它更像一種描述型的語言,用特定的方法描述一個問題,然後由電腦自動找到這個問題的答案。舉個極端的例子,你只需要把某個數學題目告訴它,它就會自動的找到答案,而不像使用其他的語言一樣,必須人工的編製出某種演算法。
2. prolog程序中沒有if、when、case、for這樣的控制流程語句
前面已經說了,程序的運行方式有電腦自己決定,當然就用不到這些控制流程的語句了。通常情況下,程序員不需要了解程序的運行過程,只需要注重程序的描述是否全面,不過prolog也提供了一些控制流程的方法,這些方法和其他語言中的方法有很大的區別,希望你在以後的學習當中能夠融會貫通。
3. prolog程序和數據高度統一
在prolog程序中,是很難分清楚哪些是程序,哪些是數據的。事實上,prolog中的所有東西都有相同的形式,也就是說數據就是程序,程序就是數據。舉一個其他語言的例子:如果想用c語言編寫一個計算某個數學表達式的程序很簡單(比如:a=2+5*4),因為這是一段程序。但是如果想編寫一個計算用戶輸入的表達式的值的程序就很困難了。因為用戶輸入的是一段數據(字元串),如果想讓c語言處理這個字元串,就需要很多方面的技術。則正是因為在c語言中,程序和數據是分開的。而在prolog就不存在這個問題,你甚至可以很輕鬆的編寫處理其它prolog程序的程序。
4. prolog程序實際上是一個智能資料庫
prolog的原理就是關係資料庫,它是建立在關係資料庫的基礎上的。在以後的學習中你會發現它和SQL資料庫查詢語言有很多相似之處。使用prolog可以很方便的處理數據。
5. 強大的遞歸功能
在其它的語言中,你也許已經接觸過遞歸程序了。遞歸是一種非常簡潔的方式,它能夠有效的解決許多難題。而在prolog中,遞歸的功能得到了充分的體現,你甚至都會感到驚奇,遞歸居然有如此巨大的能力。

4語法示例

表示事實:
human(kate).
human(bill).
likes(kate,bill).
——表示kate和bill是人(human),kate喜歡bill;
表示規則:
friend(X,Y):-likes(X,Y),likes(Y,X).
——表示對於兩個對象XY,如果X喜歡Y,且Y喜歡X,那麼他們是朋友。

5範例

Quicksort
"
"
"
"
"
q:- L=[33,18,2,77,66,18,9,25], last(P,_),(quicksort(L,P,_),write(P),nl)."
partition([], _,[],[])."
partition([X|Xs], Pivot, Smalls, Bigs):-"
( X @< Pivot ->
Smalls =[X|Rest],
partition(Xs, Pivot, Rest, Bigs)
; Bigs =[X|Rest],
partition(Xs, Pivot, Smalls, Rest)
).
quicksort([]) -->[]."
quicksort([X|Xs])-->"
{ partition(Xs, X, Smaller, Bigger)},"
quicksort(Smaller),[X], quicksort(Bigger)."
:-initialization(q)."
Sort
"
"
"
"
"
q:- L=[33,18,2,77,18,66,9,25],(sortcsj(L,P),write(P),nl).
sortcsj(L,S):- permutation(L,S), ordered(S)."
ordered([])."
ordered([_|[]])."
ordered([A|[B|T]]):- A =< B, ordered([B|T])."
:-initialization(q)."
Russell's paradox
"
"
"
q:- px(_)."
px(1):-\+ px(1)."
:-initialization(q)."
如何使用Prolog
一般而言,prolog作為數據或者邏輯處理程序而運行,配合其它程序如VC++、JAVA等的界面,由此實現帶UI交互的「智能」軟體,當然你所編輯出來的「智能」是軟體,而不能說是真正意義的人工智慧。上文說Prolog就是一個智能資料庫,其實不然,Prolog主要是對數據進行一種關係描述,比如張三和李四是A關係,李四和王二是B關係,A關係==B關係,那麼Prolog則擅長處理這種邏輯上的數據關係,不能和SQL混為一談,所以說,Prolog的用途是來處理數據之間關係的,而不是存儲數據本質的存在。
上一篇[qbasic]    下一篇 [代碼生成]

相關評論

同義詞:暫無同義詞