這道習題幾乎沒有代碼內容，它的主要目的是讓你在計算機上安裝好Prolog。你應該盡量照著說明進行操作。 ## 安裝SWI-Prolog ### MacOS 1. 找一個你最喜歡的文本編輯器。在Mac系統下，TextMate也許是最好的選擇，但是它是需要花錢購買的，如果你不想買的話，可以使用一些免費的文本編輯器比如Kod。需要注意的是，這寫編輯器本身都是不支持Prolog代碼高亮的，如果你想要這個功能，你需要下載針對這些文本編輯器的插件，其中TextMate的插件可以在這里下載到[TextMate Bundle](http://netcetera.org/cgi-bin/tmbundles.cgi "Title") 2. 下載[SWI-Prolog](http://www.swi-prolog.org/download/stable "Title")，請選擇適合你系統版本的鏈接。下載解壓之后雙擊安裝包，等待一段時間以后，你的Prolog就安裝好了。SWI-Prolog是Prolog的一個實現，作者是來自阿姆斯特丹大學的Jan，之所以選擇這個Prolog實現作為開發的環境，一個原因是因為它很穩定，運行速度也算是可以，更重要的原因是它的開發文檔寫的很詳細。這個Prolog的實現不是功能最多的，但是我個人認為是最好用的，也是最適合Prolog的初學者使用。 3. 當你安裝好Prolog以后，進入命令終端，輸入： ~~~ swipl ~~~ 你應當看見下圖：?  ### Windows 1. 第一步同樣是找一個自己喜歡的文本編輯器，個人推薦Notepad++，你可以輕易的在Google上搜尋到下載地址。 2. 下載[SWI-Prolog](http://www.swi-prolog.org/download/stable "Title")，選擇Windows的安裝包，下載解壓之后雙擊安裝包，等待一段時間以后，你的Prolog就安裝好了。 3. 與MacOS不同的是，在Windows下，你可以不必去命令行下面輸入”swipl”,你可以直接雙擊桌面上的快捷方式就可以打開SWI-Prolog了。打開以后的界面應該和MacOS下的界面類似。 ### Linux 我相信使用Linux系統的朋友應該都懂得如何安裝一個小小的軟件吧？所以在這里就不贅述了～ ## Hello World! 好像在大部分的程序語言的時候，第一個要編寫的程序都是“Hello World!”。雖然“Hello World”程序不能顯示出Prolog的特性，我在這里也姑且做一個“Hello World!”的程序吧，目的是讓大家試一下你們剛才下載的SWI-Prolog是否工作。 按照之前的方法進入SWI-Prolog，在命令行下輸入： ~~~ writeln('Hello World!'). ~~~ 需要注意的是，這行代碼一定要以英文中的句號”.”來結尾，Prolog中的“.”和C語言中的“;”一樣，都是代表一段代碼的結尾。再者，Hello World!字符串一定要以單引號來包裹。 如果輸入正確的話，你將看到如下輸出： ~~~ Hello World! true. ~~~ 這里的“Hello World!”很好理解，這是我們要求程序輸出的，那么那個奇怪的“true”是哪里來的呢？請注意，在Prolog終端輸入的時候，沒一個語句都是以“?-”這樣兩個字符開頭的，它代表我們輸入的程序代碼其實是對Prolog系統的一個查詢（問詢），一旦用戶輸入了查詢，Prolog系統會運用它的知識庫來判定這個查詢是真(true)是假(false). writeln是Prolog系統自己定義的一個語句, 它的作用是向當前的顯示設備輸出一個字符串并且換行, 所以很顯然, 這個語句是真的, 因為Prolog知道有這個語句. 這就是為什么程序的最后有一個”true”. 有意思的是,因為整個過程中Prolog都是在試圖證明這個語句是真是假, 向屏幕輸出”Hello World!”這件事實際上是執行這個語句的”副作用”(side effect)!在Prolog中, 很多任務都是靠副作用來實現的, 包括輸入輸出, 甚至是參數的傳遞. 最后，如果想要退出SWI-Prolog，輸入： ~~~ halt. ~~~ 同樣，不要忘記最后的“.”～ 好了, 到這里, 這一章就算是結束, 因為這一章講的內容很基本, 我就不提供習題了. 下一章我們將正式開始學習有關Prolog語言的知識! 敬請期待!