【正文】 混合表示，如下所示： IF certain conditions are true THEN execute the following actions 上述表述又被稱為偽代碼，偽代碼字面的意思是錯誤的代碼。前面你已經(jīng)知道了事實的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的?，F(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實驅動程序執(zhí)行。如果出現(xiàn)錯誤消息提示，則表明 CLIPS 沒有找到幫助文件：，你可以用 (helppath)命令來找出 CLIPS 該文件的路徑。更多的關于 (help)命令的信息，請參考 HELP_USAGE 幫助章節(jié)。獲得幫助只需輸入 (help)命令然后回車即可。舉例說明，如果要關閉監(jiān)視編譯，則輸入 (unwatch pilations)即可。 監(jiān)視所有項目 隨著你使用到 CLIPS 的更多功能，你將發(fā)現(xiàn) (watch)命令在調試過程中非常的有用。 應用于對象 (watch deffunctions) (watch pilations) 。 應用于對象 (watch messagehandlers) 。 應用于對象 (watch slots) 。 CLIPS 中的注釋以分號開始，分號后面的內容將會被 CLIPS忽略。 關閉監(jiān)視事實的命令為： (unwatch facts)。其中一個命令可以幫助你連續(xù)監(jiān)視事實 (watch facts)的增加和撤銷，這比你總是不斷輸入 (facts)命令來查看事實表中的變化要方便得多。 你也可以用 (retract *)撤銷所有的事實，這里的 *指代所有的事實。 現(xiàn)在，讓我們撤銷其他的事實，如下所示： CLIPS(retract 2) CLIPS(facts) f0 (initialfact) f1 (animalis duck) For a total of 2 facts. CLIPS(retract 1) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS 撤銷一個事實，你必須指定該事實的索引。撤銷一個事實，你必須指定所撤銷事實的索引作為撤銷命令的參數(shù)，建立你的事實表如下所示： CLIPS(clear) CLIPS(assert (animalis duck)) Fact1 CLIPS(assert (animalsound quack)) Fact2 CLIPS(assert (The duck says “ Quack.” )) Fact3 CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (animalsound quack) f3 (The duck says “ Quack.” ) For a total of 4 facts. CLIPS 如果要移除索引為 f3 的最后一個事實，鍵入撤銷命令并選擇你所要撤銷的事實，如下所示： CLIPS(retract 3) CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (animalsound quack) For a total of 3 facts. CLIPS 如果你試圖移除一個已經(jīng)被移除的或者根本不存在的事實，將會出現(xiàn)什么結果？讓我們來試試： CLIPS(retract 3) [PRNTUTIL1] Unable to find fact f3. CLIPS 可以看到，當你試圖移除一個不存在的事實時， CLIPS 會發(fā)布一個錯誤提示。 如果你想在字段中包含雙引號，該怎么辦？正確的方法是使用反斜線符號“ \”將雙引號插入到事實中，如下面的例子所示： CLIPS(clear) CLIPS(assert (singlequote “ duck” )) Fact1 CLIPS(assert (singlequote “\”duck“\”)) Fact2 CLIPS(facts) f0 (initialfact) f1 (singlequote “ duck” ) f2 (singlequote ““ duck” ”)) For a total of 3 facts. CLIPS 撤銷事實 現(xiàn)在你已經(jīng)知道怎么添加一個事實到事實表中，現(xiàn)在是時候學習怎樣撤銷它們了。 CLIPS不允許輸入相同的事實，除非你改變 setfactduplicate 設置。舉個例子： CLIPS(clear) CLIPS(assert (animalis walrus)) Fact1 CLIPS(assert ( animalis walrus )) FALSE CLIPS(assert ( animalis walrus )) FALSE CLIPS(facts) f0 (initialfact) f1 (animalis walrus) For a total of 2 facts. CLIPS 僅有一個事實 (animalis walrus)被添加了 ， CLIPS 忽視了空格，并認為三個被添加的事實是相同的。這個足夠簡單的例子讓任何人都能斷定字段間的隱含關系，但當人們在寫一個并沒有明確關系的事實時，同時也是一個簡單的圈套（事實上，使事情復雜化要比使事情簡單化簡單很多，這是因為人們通常對于復雜的印象比簡單要深刻許多。一個好的提交它們的格式如下所示： (animalis duck) (animalis horse) (animalis cow) 或采用單事實： (animals duck horse cow) 通過關系 animalis 和 animals 來表 述它們之間的關系，使得人們在閱讀代碼時能夠一目了然。 CLIPS 采用模板(deftemplate)的意義來描述事實以幫助程序員編寫程序。例子： (grocerylist icecream coolies candy fudgesauce)中破折號用來將多詞組合成一個單字段。 ? 風格問題 用事實的第一個字段來描述后續(xù)字段的關系是很好的基于規(guī)則編程風格。 CLIPS(clear) CLIPS(assert (grocerylist icecream cookies candy fudgesauce)) Fact1 CLIPS(facts) f0 (initialfact) f1 (grocerylist icecream cookie candy fudgesauce) For a total of 2 facts. CLIPS 如你所見， CLIPS 將回車和制表置換為單空格。增加下面的事實，使用空格和回車將字段合適的安排在行中。舉例說明，增加事實 (duck)和(Duck),然后調用 (facts)命令，你會發(fā)現(xiàn) CLIPS 增加了兩個不同的事實 (duck)和 (Duck),這正是因為 CLIPS 是區(qū)分大小寫的緣故。也就是“ The”中的“ T”和“ Quack”中的“ Q”。 CLIPS 會認為 f1 與 f2 是兩個不同的事實，這一點很重要。在下面的例子中，每個字段后加一個回車，增加的事實與將字段都寫在一行的效果是一樣的。舉例說明，輸入下面的例子，你將 發(fā)現(xiàn)每個被存儲的事實都是一樣的。這與在 C 和其他語言中應用結構體一樣。相反，事實 (duckBrian)僅有一個字段，因為有一個“ ”符號將兩個值連結。 f6 (coordinates 1 2 3) f7 (coordinates 1 3 2) 有序事實必須用字段對位于 其定義的數(shù)據(jù)。所有前面你已經(jīng)看到的事實都是有序事實，因為字段的順序決定了它們的不同。對對象相應的處理方法將會在第八到第十二章中討論。為了簡單化，我們在前面七 章中將僅僅討論事實，但也有許多對模式匹配應用于對象做了討論。舉個例子，專用關鍵字 not 用來指代否定模式，但是不能作為一個事實的第一字段。 注意上面的每個數(shù)字前面都有一個符號開頭，如“ number”，“ x”，“ y”等。整型的范圍由數(shù)字的位數(shù)決定，N，用來表示整型如下所示： 2N1 ? 2N11 對于 64 位機器“ long long”整型，符合該范圍的數(shù)字為： 9， 223， 372， 036， 854， 775， 808 ? 9， 223， 372， 036， 854， 775，807 下面給出一些數(shù)字的例子，增加下面的數(shù)據(jù)到事實中，最后一個數(shù)字為指數(shù)表示法，用“ e”或“ E”代替乘以 10。（ floatpointfloat） CLIPS 中的數(shù)字均為“ long long”整型或雙精度浮點型。該字段用來表示整型或浮點型字段。引號中可以有 0 個或多個字符。 下面是這些符號的一些例子： duck duck1 duck_soup ducksoup duck11_soupsoup d!?%^ 第二類類型的字段是 string。”，“ |”和“ ~”之外，你將使用其他的表示符號，然而，也許對于有些人，在讀程序和試圖理解程序運行機理時有些困惑。 隨著你通讀這本手冊，你將會逐漸明白上面那些符號的意義。如果你在最高階層 (toplevel)中不經(jīng)意的輸入了一個分號，那么輸入一個圓括號的結束部分：）并回車。號 ? 豎線， | ? 小于， .這也是尖括號的一部分。 ? 所有的不可印刷的 ASCII 碼，包括空格，回車鍵，制表鍵和換行鍵。 一些字符的作用等同于分隔符以結束一個符號。 ? $ “ amp。 ‘’ ( ) amp。 CLIPS 區(qū)分大小寫。舉例，下面即是一個非法的事實： (duck (shot Brian Gary Rey)) 然而，如果“ shot”被當作一個字段名，上面的事實可能是一個合法的 deftemplate事實。在這個事實中，字段 被空格分隔，并由圓括弧括起來。字段由空格或占位符被普通的分隔。顯式的聲明加強了軟件工程的概念，是產(chǎn)生一個高效軟件的編程訓練。未命名的字段中，值的類型由你的輸入決定。 這里有許多不同有效的字段類型： float， integer， symbol， string，externaladdress， factaddress， instancename 和 instanceaddress。舉例，試想一個字段就是一個郵箱，沒有郵箱和郵箱中沒有信件是完全兩碼事。舉例如下： (duck nil) 可以表示獵人的捕鴨袋中今天一無所獲。之所以稱一個表為有序的，意味著表中的位置是非常重要的。 現(xiàn)在，一些定義是必需的了。與之相比，命名字段的順序是不重要的，稍后你將在 deftemplate 中看到。 未命名字段的順序非常重要。下面有一個關于單字段事實的例子，一個字段即是一個值的占位符。 注：這里的（ 3）提到的電視廣告，意思是電視廣告里的廣告者會大呼小叫的對他們的產(chǎn)品爆發(fā)歡呼，聲音像鴨子叫一樣，諷刺幽默。等等）。一個字段就是一個占位符（命名或未命名），通常擁有一個值。 注：（ facts）命令的完整語法為： (facts [start [end [maximum]]])，start表示顯示索引號大于等于 start的事實， end表示小于等于end的事實， maximum表示顯示在 start和 end之間最多 maximum個事 實。最高索引為 3，通過 CLIPS 的信息消息 Fact3返回。 下面的實例顯示了怎樣將三個事實加入到事實表，并用 (facts)命令查看，然后 (clear)命令將這三個事實從內存中清除并重置事實標識為 f0。增加(animalis duck)事實，然后查看事實表，會發(fā)現(xiàn) (animalis duck)的事實標識為 f1，這是因為 (clear)命令重置了事實表的標識。 ? 清除所有事實 Clear 命令將所有的事實從內存中移出，代碼如下所示： CLIPS(facts) f0 (initialfact) f1 (duck) f2 (quack) For a total of 3 facts. CLIPS(clear) CLIPS 事實表中的所有事實被清除。當一個事實被撤銷，其他的事實索引不會改變，因此會出現(xiàn)事實索引的“丟失”。舉個例子，增加一個 (quack)事實，然后運行 (facts)命令，如下： CLIPS(assert (quack)) fact2 CLIPS(facts) f0 (initialfact) f1 (duck) f2 (quack) For a total of 3 facts