第1章：配置開發(fā)環(huán)境

這道習(xí)題幾乎沒有代碼內(nèi)容，它的主要目的是讓你在計算機上安裝好Prolog。你應(yīng)該盡量照著說明進行操作。

安裝SWI-Prolog

MacOS

1. 找一個你最喜歡的文本編輯器。在Mac系統(tǒng)下，TextMate也許是最好的選擇，但是它是需要花錢購買的，如果你不想買的話，可以使用一些免費的文本編輯器比如Kod。需要注意的是，這寫編輯器本身都是不支持Prolog代碼高亮的，如果你想要這個功能，你需要下載針對這些文本編輯器的插件，其中TextMate的插件可以在這里下載到TextMate Bundle
2. 下載SWI-Prolog，請選擇適合你系統(tǒng)版本的鏈接。下載解壓之后雙擊安裝包，等待一段時間以后，你的Prolog就安裝好了。SWI-Prolog是Prolog的一個實現(xiàn)，作者是來自阿姆斯特丹大學(xué)的Jan，之所以選擇這個Prolog實現(xiàn)作為開發(fā)的環(huán)境，一個原因是因為它很穩(wěn)定，運行速度也算是可以，更重要的原因是它的開發(fā)文檔寫的很詳細。這個Prolog的實現(xiàn)不是功能最多的，但是我個人認為是最好用的，也是最適合Prolog的初學(xué)者使用。

3. 當你安裝好Prolog以后，進入命令終端，輸入：

   swipl

   你應(yīng)當看見下圖：?
   

Windows

1. 第一步同樣是找一個自己喜歡的文本編輯器，個人推薦Notepad++，你可以輕易的在Google上搜尋到下載地址。
2. 下載SWI-Prolog，選擇Windows的安裝包，下載解壓之后雙擊安裝包，等待一段時間以后，你的Prolog就安裝好了。
3. 與MacOS不同的是，在Windows下，你可以不必去命令行下面輸入”swipl”,你可以直接雙擊桌面上的快捷方式就可以打開SWI-Prolog了。打開以后的界面應(yīng)該和MacOS下的界面類似。

Linux

我相信使用Linux系統(tǒng)的朋友應(yīng)該都懂得如何安裝一個小小的軟件吧？所以在這里就不贅述了～

Hello World!

好像在大部分的程序語言的時候，第一個要編寫的程序都是“Hello World!”。雖然“Hello World”程序不能顯示出Prolog的特性，我在這里也姑且做一個“Hello World!”的程序吧，目的是讓大家試一下你們剛才下載的SWI-Prolog是否工作。

按照之前的方法進入SWI-Prolog，在命令行下輸入：

writeln('Hello World!').

需要注意的是，這行代碼一定要以英文中的句號”.”來結(jié)尾，Prolog中的“.”和C語言中的“;”一樣，都是代表一段代碼的結(jié)尾。再者，Hello World!字符串一定要以單引號來包裹。 如果輸入正確的話，你將看到如下輸出：

Hello World!
true.

這里的“Hello World!”很好理解，這是我們要求程序輸出的，那么那個奇怪的“true”是哪里來的呢？請注意，在Prolog終端輸入的時候，沒一個語句都是以“?-”這樣兩個字符開頭的，它代表我們輸入的程序代碼其實是對Prolog系統(tǒng)的一個查詢（問詢），一旦用戶輸入了查詢，Prolog系統(tǒng)會運用它的知識庫來判定這個查詢是真(true)是假(false). writeln是Prolog系統(tǒng)自己定義的一個語句, 它的作用是向當前的顯示設(shè)備輸出一個字符串并且換行, 所以很顯然, 這個語句是真的, 因為Prolog知道有這個語句. 這就是為什么程序的最后有一個”true”. 有意思的是,因為整個過程中Prolog都是在試圖證明這個語句是真是假, 向屏幕輸出”Hello World!”這件事實際上是執(zhí)行這個語句的”副作用”(side effect)!在Prolog中, 很多任務(wù)都是靠副作用來實現(xiàn)的, 包括輸入輸出, 甚至是參數(shù)的傳遞.

最后，如果想要退出SWI-Prolog，輸入：

halt.

同樣，不要忘記最后的“.”～

好了, 到這里, 這一章就算是結(jié)束, 因為這一章講的內(nèi)容很基本, 我就不提供習(xí)題了. 下一章我們將正式開始學(xué)習(xí)有關(guān)Prolog語言的知識! 敬請期待!