2013-07-22 65 views
1

我很新的序言和我想(個體經營)使用SWI-Prolog的(Windows版)的基礎知識學習。我的這個問題肯定是一個新手問題,請原諒我的天真。SWI序言:寫在紅色和/或黑色的答案

我正在使用主交互式窗口,試圖遵循教程(this one),但有一件事我不明白SWI-prolog的答案。

我的理解是,SWI-Prolog的用「真」或「假」到我的查詢響應書寫和我能夠按照教程,並得到espected結果。

什麼讓我困惑的是,SWI打印使用兩種顏色,紅色和黑色的他的答案。有時候答案會寫成紅色,有時會寫成黑色,有時我會得到兩個相反的答案[如:「true; false」] 一個是黑色的,另一個是紅色的!

...我已經尋找到SWI-Prolog的文檔,但但一直沒能找到的響應中的兩種不同顏色的含義。

有人能指出我的相關文件SWI或解釋,爲什麼出現這種情況?

編輯:

綜上所述:

是什麼寫在紅色的「真」的答案,在黑色的writtend之間的區別?

並寫入紅色「假」的答案,一個用黑色之間的區別?

+1

據我所知,紅色用來表示失敗或錯誤。否則,使用黑色。 – Dan455

+0

這就是關鍵:紅色書寫的「真實」答案和黑色的書寫書寫之間有什麼區別?還有一個用紅色寫的「錯誤」答案和一個用黑色寫的答案之間的區別?當然,這是有意義的,但我不會拒絕它。 – DavAlPi

+1

你能舉出一個用紅色寫的「真實」答案或用黑色寫的「錯誤」答案嗎?我從來沒有遇到過這樣的事情。 – Dan455

回答

1
  1. 紅色表示有新的,單獨(無遞歸)支架
  2. 黑色表示遞歸
  3. 藍指示SWI-PROLOG

希望這是很有幫助的定義。

相關問題