【PROLOG程式語言】

豐碩

【PROLOG程式語言】

 

PROLOGProgrammingLanguage

 

【辭書名稱】圖書館學與資訊科學大辭典

 

PROLOG之名得自PROgramminginLOGic，為著名具邏輯特性的程式語言。

 

其發源要追溯至1972年，法國馬賽(Marseilles)大學人工智慧小組中AlainColmeraner和P.Roussel兩位教授的創造，後來經過幾次的擴充及修正，以英國蘇格蘭愛丁堡大學WilliamF.Clocksin及ChristopherS.Mellish所發表的最著名，成為世界上PROLOG程式語言的非正式範本，亦稱為C&MPROLOG。

 

PROLOG語言可從已知的事實中，藉著形式符號推理(FormalSymbolicReasoning)來推斷出其他的事實與結論。

 

這與一般數值計算或程序推演的程式語言，在思考的角度有很大的差異；

 

PROLOG所採取的解答方式，較趨近於人的行為法則，人類遇到問題時，常使用形式推理、數值運算、類推、直覺和主觀的判定，PROLOG的處理方法就是採用其中的形式推理。

 

PROLOG程式的設計包括：陳述有關物件及其間關係的事實；

 

界定有關物件及其間關係的法則；

 

詢問有關物件及其間關係的問句。

 

因此PROLOG是屬於物件導向的語言(Object-OrientedLanguage)，也是一種宣告式的語言(DeclarativeLanguage)，強調符號化的處理，設計者祇宣告達成程式目標的邏輯方法而非執行步驟；

 

因此PROLOG程式就是一些資料、或是一群事實以及事實之間關係的集合。

 

簡單地說，PROLOG程式就是一個資料庫(Database)。

 

將所有與問題有關的一切已知條件，均視為資料儲存起來；

 

之後，使用者定義一個目標或假設，以現有的已知資料為基礎，嘗試以形式推理的處理方式，證明出此目標為真或假。

 

當然，求解的過程可以視為從問題空間移動至特定目地的一種嘗試，在此問題空間內，可以先把問題分解成若干較小的問題，而每個小問題求解的動作，就可形成一群介於中途的子目標，每一個中途子目標，都可視為走向最終目標過程中的一步。

 

而求解的方式是以一種自發性(Heuristics)的處理方法代替了傳統的演算法，一個子目標求解完成再移向另一子目標，直到最終的求解完成，所有移動的路線集合起來便是求解的路徑。

 

PROLOG祇需在開始時定義問題的空間即可，解問題的路徑則交由自發性的處理去做形式的推理。

 

傳統的程序語言在沒有定義出整個問題空間中求解的路徑前，是無法撰寫程式的。

 

因此，PROLOG在人工智慧領域中的專家系統、自然語言處理、機器人、視覺與圖案辨認、機器學習、邏輯與不確定性的研究有極大的幫助。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary