資源描述：
《知識(shí)程序設(shè)計(jì)語言lisp和+prolog綜述》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、瞄U壁——竺盟0雨礦—]口陬萬方數(shù)據(jù)知識(shí)程序設(shè)計(jì)語言LISP和PROLOG綜述程(蘇州市職業(yè)大學(xué)媛江蘇215104)摘要通過對(duì)知識(shí)程序設(shè)計(jì)語言LISP和PROLOG兩種語言進(jìn)行分析比較，揭示了二者間的差異和以及所具有的共同特點(diǎn)。關(guān)鍵詞LISPPROLOG比較特點(diǎn)中圖分類號(hào)TP312文獻(xiàn)標(biāo)識(shí)碼B文章編號(hào)101117-5608KnowledgeLanguagePrOgrammingLISP＆PROLOGChengYuan(SuzhouVocationalCollegeJiangsu215104AbstractB
2、othLISPandPROLOGlanguagearetwoimportantlanguage，whichhaveextensiveapplicationstoartificialintelligenceprogrammedesign．Revealsthedifferencesofthetwolanguagesandthecomprehensivecomparisonofthetwolanguages．KeywordsLISPPROLOGComparisonCharacteristicsLISP(ListP
3、rocessing)語言和PROLOG(Programminginlogic)語言，作為人工智能程序設(shè)計(jì)語言族中應(yīng)用最為廣泛的兩種語言。是兩種完全不同類型的程序設(shè)計(jì)語言，各有特點(diǎn)。一、它們的產(chǎn)生與發(fā)展LISP語言是1960年由美國麻省理工學(xué)院著名計(jì)算機(jī)專家j晶n．M．Carthy教授設(shè)計(jì)實(shí)現(xiàn)的，后來發(fā)展為許多不同的版本，在人工智能研究領(lǐng)域得到了廣泛的應(yīng)用。PROLOG語言的思想最早是由KowalskiR首先提出的，1972年世界上第一個(gè)PROLOG系統(tǒng)由Alain，Colmerauer及其研究成員在法國馬賽
4、大學(xué)研制自然語言問題系統(tǒng)時(shí)研制成功的。最初的PROLOG語言是解釋型的，因?yàn)樗\(yùn)行速度慢，又難以擴(kuò)充，后來發(fā)展為TurboPROLOG，成為一種純編譯型語言。二、兩種語言各自不同的特點(diǎn)LISP語言是一種表處理(LISPProcessing)語言，它語言結(jié)構(gòu)清晰，層次分明，是一門更接近于數(shù)學(xué)語言的語言。而PROLOG(Programminginlogic)語言是以一階謂詞邏輯為理論基礎(chǔ)的邏輯程序設(shè)計(jì)語言。1、LISP語言具有它自己的獨(dú)特之處。具體表現(xiàn)在如下幾個(gè)方面：(1)LISP語言中的表達(dá)式是一種前綴表達(dá)式
5、在其它程序設(shè)計(jì)語言或我們平常的書寫習(xí)慣中，總是將運(yùn)算符寫在兩個(gè)操作數(shù)中間，如1+2，這種表示法稱為中綴表達(dá)式。但在LISP語言中要執(zhí)行的函數(shù)總是放在第一個(gè)位置上，后面跟著該函數(shù)的作用對(duì)象，也就是說LISP采用前綴表示法，如(+12)。(2)LISP程序的基本形式是一系列函數(shù)定義·28‘辦公自動(dòng)化雜志LISP程序的通常形式是一系列函數(shù)定義，其后跟著一系列帶有參數(shù)的函數(shù)調(diào)用，函數(shù)之間的關(guān)系只是在調(diào)用執(zhí)行時(shí)才體現(xiàn)出來。Lisp中沒有語句概念，也沒有分程序結(jié)構(gòu)或其它語法結(jié)構(gòu)，語句中的一切成分都是以函數(shù)的形式給出的。
6、定義(函數(shù)名形式參數(shù)表)(函數(shù)定義體)1：}定義段定義(函數(shù)名形式參數(shù)表)(函數(shù)定義體)J(函數(shù)名實(shí)參表)、：}調(diào)用段(函數(shù)名實(shí)參表)J(3)LISP是一種表處理語言，這是它的最顯著點(diǎn)。人工智能的基本出發(fā)點(diǎn)就是認(rèn)為智能行為可通過符號(hào)處理發(fā)生，LISP語言是專門為符號(hào)處理設(shè)計(jì)的。一批數(shù)據(jù)、一個(gè)集合、一組特征、一條規(guī)則、一棵樹、一個(gè)記錄乃至一個(gè)LISP程序都可用表表示。這使得它與一般高級(jí)程序設(shè)計(jì)語言如FORTRAN、ALGOL、PASCAL等有著很大的不同。在LISP語言中，由二進(jìn)制數(shù)形成的類似單詞的基本對(duì)象稱
7、為原子，原子組合成表，表可進(jìn)一步組合成高級(jí)表，能表示句子、文章等任意復(fù)雜結(jié)構(gòu)。例如，通過符號(hào)表達(dá)式(IBM(A2kind20fComputerCompany)(Headquarters，NYC))可以描述IBM公司的一些基本情況。同時(shí)LISP語言提供了豐富的諸如CAR、CDR、CONS、LIST、APPEND、REVERSE等過程使表中元素的選擇和表的構(gòu)造操作靈活方便，簡單易行。例如，表處理程序(CAR(CDR’(IBM(A—kind-ofCmoputerCompany)(Headquarters。NYC)
8、)))結(jié)果是取出表中第二個(gè)元素(A—kind-ofComputerCompany)。由于LISP語言的表結(jié)構(gòu)簡單，處理靈活，因此很適合各種知識(shí)的表示。萬方數(shù)據(jù)(4)遞歸是LISP語言的主要控制結(jié)構(gòu)遞歸是LISP語言的基礎(chǔ)，是LISP語言的主要控制結(jié)構(gòu)。它大量應(yīng)用遞歸程序，不僅使程序結(jié)構(gòu)清晰，適應(yīng)許多人工智能問題求解，而且對(duì)用戶定義新函數(shù)提供了有力手段。(5)除遞歸這種主要控制結(jié)構(gòu)外，Lisp還提供了傳統(tǒng)的順序程序
