【PROLOG程式語言】
<P align=center><STRONG><FONT size=5>【<FONT color=red>PROLOG程式語言</FONT>】</FONT></STRONG></P> <P><STRONG>PROLOGProgrammingLanguage</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】圖書館學與資訊科學大辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>PROLOG之名得自PROgramminginLOGic，為著名具邏輯特性的程式語言。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>其發源要追溯至1972年，法國馬賽(Marseilles)大學人工智慧小組中AlainColmeraner和P.Roussel兩位教授的創造，後來經過幾次的擴充及修正，以英國蘇格蘭愛丁堡大學WilliamF.Clocksin及ChristopherS.Mellish所發表的最著名，成為世界上PROLOG程式語言的非正式範本，亦稱為C&MPROLOG。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>PROLOG語言可從已知的事實中，藉著形式符號推理(FormalSymbolicReasoning)來推斷出其他的事實與結論。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>這與一般數值計算或程序推演的程式語言，在思考的角度有很大的差異；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>PROLOG所採取的解答方式，較趨近於人的行為法則，人類遇到問題時，常使用形式推理、數值運算、類推、直覺和主觀的判定，PROLOG的處理方法就是採用其中的形式推理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>PROLOG程式的設計包括：陳述有關物件及其間關係的事實；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>界定有關物件及其間關係的法則；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>詢問有關物件及其間關係的問句。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此PROLOG是屬於物件導向的語言(Object-OrientedLanguage)，也是一種宣告式的語言(DeclarativeLanguage)，強調符號化的處理，設計者祇宣告達成程式目標的邏輯方法而非執行步驟；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此PROLOG程式就是一些資料、或是一群事實以及事實之間關係的集合。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>簡單地說，PROLOG程式就是一個資料庫(Database)。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>將所有與問題有關的一切已知條件，均視為資料儲存起來；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>之後，使用者定義一個目標或假設，以現有的已知資料為基礎，嘗試以形式推理的處理方式，證明出此目標為真或假。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>當然，求解的過程可以視為從問題空間移動至特定目地的一種嘗試，在此問題空間內，可以先把問題分解成若干較小的問題，而每個小問題求解的動作，就可形成一群介於中途的子目標，每一個中途子目標，都可視為走向最終目標過程中的一步。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>而求解的方式是以一種自發性(Heuristics)的處理方法代替了傳統的演算法，一個子目標求解完成再移向另一子目標，直到最終的求解完成，所有移動的路線集合起來便是求解的路徑。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>PROLOG祇需在開始時定義問題的空間即可，解問題的路徑則交由自發性的處理去做形式的推理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>傳統的程序語言在沒有定義出整個問題空間中求解的路徑前，是無法撰寫程式的。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此，PROLOG在人工智慧領域中的專家系統、自然語言處理、機器人、視覺與圖案辨認、機器學習、邏輯與不確定性的研究有極大的幫助。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]