Prolog
1972年誕生的邏輯編程語言
Prolog（Programming in Logic的縮寫）是一種邏輯編程語言。它建立在邏輯學的理論基礎之上，最初被運用於自然語言等研究領域。現已廣泛的應用在人工智慧的研究中，可以用來建造專家系統、自然語言理解、智能知識庫等。同時對一些通常的應用程序的編寫也很有幫助，能夠比其他的語言更快速地開發程序，因為它的編程方法更像是使用邏輯的語言來描述程序。
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標準。
受Prolog影響的程序語言有很多，較為人所知的有：Mercury、Oz、Erlang、Strand。
目前比較流行的實現工具包括 SWI-Prolog, Yap 等。
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中，遞歸的功能得到了充分的體現，你甚至都會感到驚奇，遞歸居然有如此巨大的能力。
表示事實：
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，那麼他們是朋友。
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的用途是來處理數據之間關係的，而不是存儲數據本質的存在。
