1、Prolog語(yǔ)言程序設(shè)計(jì)課程編號(hào)：16020132課程名稱(chēng)：Prolog語(yǔ)言程序設(shè)計(jì)學(xué)分：2總學(xué)時(shí)：32實(shí)驗(yàn)學(xué)時(shí)：10課內(nèi)上機(jī)學(xué)時(shí)：6先修課程要求：計(jì)算機(jī)文化基礎(chǔ)適應(yīng)專(zhuān)業(yè)：信息管理與信息系統(tǒng)專(zhuān)業(yè)參考教材：周立柱.邏輯程序設(shè)計(jì)及其應(yīng)用.清華大學(xué)出版社，1991.4一、課程在培養(yǎng)方案中的地位、目的和任務(wù)本課程是商學(xué)院信息管理與信息系統(tǒng)專(zhuān)業(yè)的一門(mén)專(zhuān)業(yè)選修課程。Prolog語(yǔ)言是一種說(shuō)明性語(yǔ)言，它是英文PROgramminginLOGic的縮寫(xiě)，其理論基礎(chǔ)是一階謂詞邏輯。它是人們把邏輯作為程序設(shè)計(jì)的一種語(yǔ)言的努力結(jié)果。它被廣泛的應(yīng)用在人工智能的研究中，它可以用來(lái)建造專(zhuān)家系統(tǒng)、自然語(yǔ)言理解、智能知識(shí)庫(kù)等

2、。同時(shí)它對(duì)一些通常的應(yīng)用程序的編寫(xiě)也很有幫助。使用它能夠比其他的語(yǔ)言更快速地開(kāi)發(fā)程序，因?yàn)樗木帉?xiě)方法更象是使用邏輯的語(yǔ)言來(lái)描述程序，在運(yùn)用Prolog進(jìn)行程序設(shè)計(jì)時(shí)，重點(diǎn)在于對(duì)那些與問(wèn)題有關(guān)對(duì)象間的邏輯描述。在這種邏輯描述的基礎(chǔ)上，Prolog運(yùn)用自身具有的問(wèn)題求解機(jī)制尋求答案。通過(guò)本課程的學(xué)習(xí)，要求學(xué)生掌握深刻理解和掌握PROLOG語(yǔ)言的運(yùn)用；學(xué)會(huì)用PROLOG語(yǔ)言編寫(xiě)小型的人工智能程序和專(zhuān)家系統(tǒng)。二、課程的基本要求通過(guò)本課程的學(xué)習(xí)，要求學(xué)生了解什么是Prolog語(yǔ)言及其基本特點(diǎn)，了解Prolog語(yǔ)言及它與一階謂詞邏輯間的關(guān)系，掌握Prolog語(yǔ)言的語(yǔ)法、結(jié)構(gòu)、預(yù)定義謂詞及其程序設(shè)計(jì)的基本

3、技術(shù)。能夠使用Prolog語(yǔ)言建造簡(jiǎn)單的專(zhuān)家系統(tǒng)。三、課程的基本內(nèi)容以及重點(diǎn)難點(diǎn)第一章Prolog簡(jiǎn)介1.1fact1.2question1.3variables1.4conjunctions1.5rule第二章Prolog與一階謂詞邏輯（重點(diǎn)、難點(diǎn)）2.1數(shù)理邏輯簡(jiǎn)介2.2命題演算簡(jiǎn)介2.3一階謂詞邏輯簡(jiǎn)介子句形式子句的一種特殊表示反駁消解法及定理證明2.7Horn子句與Prolog第三章基本語(yǔ)法及結(jié)構(gòu)Prolog的語(yǔ)法算子相等關(guān)系和匹配算術(shù)比較運(yùn)算Example表:基本概念、表的操作3.5表：表間的匹配、表的遞歸使用第四章Prolog程序設(shè)計(jì)中的問(wèn)題表示及數(shù)據(jù)結(jié)構(gòu)（重點(diǎn)）結(jié)構(gòu)化信息查詢(xún)有限

4、自動(dòng)機(jī)仿真（難點(diǎn)）八皇后問(wèn)題第五章預(yù)定義謂詞cut”!”及其使用（難點(diǎn)）第六章Prolog的文件處理第八章Prolog的窗口、圖形處理四、實(shí)驗(yàn)要求Prolog語(yǔ)言是一種應(yīng)用廣泛，使用靈活，編程方便、功能豐富的計(jì)算機(jī)高級(jí)語(yǔ)言。廣泛使用于人工智能，問(wèn)題求解等領(lǐng)域。作為一門(mén)計(jì)算機(jī)語(yǔ)言，除了需要了解該語(yǔ)言的一些基本特點(diǎn)以外，更重要的是如何利用這種語(yǔ)言去實(shí)現(xiàn)具體的實(shí)際需求，因此，上機(jī)實(shí)習(xí)就具有十分重要的意義。通過(guò)上機(jī)實(shí)習(xí)，提高學(xué)生的動(dòng)手能力、編程能力以及學(xué)習(xí)Prolog語(yǔ)言的興趣，并靈活運(yùn)用所學(xué)的知識(shí)，逐漸編寫(xiě)適用化的程序。培養(yǎng)學(xué)生利用計(jì)算機(jī)解決問(wèn)題的基本思路和能力。要求學(xué)生通過(guò)實(shí)驗(yàn)加深對(duì)講授內(nèi)容的理解

5、，尤其是一些語(yǔ)法規(guī)定；熟悉Prolog語(yǔ)言程序開(kāi)發(fā)的環(huán)境;學(xué)會(huì)上機(jī)調(diào)試程序。五、課程學(xué)時(shí)分配早內(nèi)容學(xué)時(shí)其中實(shí)驗(yàn)（上機(jī)學(xué)時(shí)）備注課程介紹課程概要、參考書(shū)目介紹，基礎(chǔ)測(cè)試第一早l.lfact1.2question1.3variablesl.4conjunctions1.5ruleExamples第一早Prolog與一階謂詞邏輯2.1數(shù)理邏輯簡(jiǎn)介2.2命題演算簡(jiǎn)介2.3一階謂詞邏輯簡(jiǎn)介2.4子句形式2.5子句的種特殊表示2.6反駁消解法及定理證明2.7Horn子句與Prolog第一早基本語(yǔ)法及結(jié)構(gòu)3.1Prolog的語(yǔ)法3.2算子3.3相等關(guān)系和匹配3.4算術(shù)比較運(yùn)算Example3.5表:基本概念、表的操作3.5表：表間的匹配、表的遞歸使用Example第四章Prolog程序設(shè)計(jì)中的問(wèn)題表示及數(shù)據(jù)結(jié)構(gòu)4.1結(jié)構(gòu)化信息查詢(xún)4.2有限自動(dòng)機(jī)仿真4.3八皇后問(wèn)題-J-*Vr.第五早預(yù)定義謂詞cut”!”及其使用AVr*、.宀第八早P