【正文】 ck”里已經存在的一切。 CLIPS中，同時刻只能僅有一個規(guī)則名存在。 THEN箭頭(assert (soundis quack))) 。 規(guī)則頭(animalis duck) 。其他的注釋由分號引導，直到按下回車鍵結束一行。CLIPS基于模式實體來進行模式匹配。模式實體是一個事實，也可以是一個用戶定義類的實例。規(guī)則中只能包含一個規(guī)則頭注釋，且必須寫在規(guī)則名之后和第一個模式(pattern)之前。下面將給出一個相同的規(guī)則，該規(guī)則中增加了對規(guī)則每部分的注釋。如果你得到一個錯誤消息，也許是你拼錯了關鍵字或你遺漏了圓括號。CLIPS(unwatch facts)CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(defrule duck(animalis duck)=(assert (soundis quack)))CLIPS雖然你可以將規(guī)則都寫在一行里面，但是我們通常將規(guī)則分成幾段放在幾行里書寫，便于程序的閱讀和編輯。下面是采用CLIPS語法將上面的偽代碼寫成一個事實和一個命名為duck的事實。關于鴨子叫聲規(guī)則的偽代碼可以寫成如下形式：隨著你CLIPS實踐的增加，你將發(fā)現(xiàn)在CLIPS中寫規(guī)則非常的簡單。偽代碼在文檔規(guī)則中也非常有用。上述表述又被稱為偽代碼，偽代碼字面的意思是錯誤的代碼。IF THEN規(guī)則可以用自然語言與計算機語言來混合表示，如下所示：前面你已經知道了事實的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的?，F(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實驅動程序執(zhí)行。如果出現(xiàn)錯誤消息提示，則表明CLIPS沒有找到幫助文件：，你可以用(helppath)命令來找出CLIPS該文件的路徑。更多的關于(help)命令的信息，請參考HELP_USAGE幫助章節(jié)。獲得幫助只需輸入(help)命令然后回車即可。舉例說明，如果要關閉監(jiān)視編譯，則輸入(unwatch pilations)即可。隨著你使用到CLIPS的更多功能，你將發(fā)現(xiàn)(watch)命令在調試過程中非常的有用。 默認的(watch statistics)(watch globals)(watch focus)(watch all) 。 應用于對象(watch genericfunctions)(watch methods) 。 應用于對象(watch rules)(watch activations)(watch messages) 。(watch facts)(watch instances) 。CLIPS中的注釋以分號開始，分號后面的內容將會被CLIPS忽略。關閉監(jiān)視事實的命令為：(unwatch facts)。CLIPS(reset)==f0 (initialfact)==f1 (animalis duck)==f0 (initialfact)CLIPS(assert (animalis duck))==f1 (animalis duck)Fact1CLIPS(retract 1)==f1 (animalis duck)CLIPS(facts)f0 (initialfact)For a total of 1 fact.CLIPSCLIPS(clear)CLIPS(watch facts)CLIPS(assert (animalis duck))==f1 (animalis duck)Fact1CLIPS其中一個命令可以幫助你連續(xù)監(jiān)視事實(watch facts)的增加和撤銷，這比你總是不斷輸入(facts)命令來查看事實表中的變化要方便得多。CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(assert (animalsound quack))Fact2CLIPS(assert (The duck says “Quack.”))Fact3CLIPS(facts)f0 (initialfact)f1 (animalis duck)f2 (animalsound quack)f3 (The duck says “Quack.”)For a total of 4 facts.CLIPS(retract *)CLIPS(facts)CLIPS你也可以用(retract *)撤銷所有的事實，這里的*指代所有的事實。CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(assert (animalsound quack))Fact2CLIPS(assert (The duck says “Quack.”))Fact3CLIPS(retract 1 3)CLIPS(facts)f0 (initialfact)f2 (animalsound quack)For a total of 2 facts.CLIPS撤銷一個事實，你必須指定該事實的索引?，F(xiàn)在，讓我們撤銷其他的事實，如下所示：可以看到，當你試圖移除一個不存在的事實時，CLIPS會發(fā)布一個錯誤提示。如果你試圖移除一個已經被移除的或者根本不存在的事實，將會出現(xiàn)什么結果？讓我們來試試：如果要移除索引為f3的最后一個事實，鍵入撤銷命令并選擇你所要撤銷的事實，如下所示：撤銷一個事實，你必須指定所撤銷事實的索引作為撤銷命令的參數(shù)，建立你的事實表如下所示：撤銷事實現(xiàn)在你已經知道怎么添加一個事實到事實表中，現(xiàn)在是時候學習怎樣撤銷它們了。如果你想在字段中包含雙引號，該怎么辦？正確的方法是使用反斜線符號“\”將雙引號插入到事實中，如下面的例子所示：CLIPS(clear)CLIPS(assert (animalis “duck”))Fact1CLIPS(assert (animalis “duck ”))Fact2CLIPS(assert (animalis “ duck”))Fact3CLIPS(assert (animalis “ duck ”))Fact4CLIPS(facts)f0 (initialfact)f1 (animalis “duck”)f2 (animalis “duck ”)f3 (animalis “ duck”)f4 (animalis “ duck ”)For a total of 5 facts.CLIPSCLIPS不允許輸入相同的事實，除非你改變setfactduplicate設置。僅有一個事實(animalis walrus)被添加了，CLIPS忽視了空格，并認為三個被添加的事實是相同的。舉個例子：這個足夠簡單的例子讓任何人都能斷定字段間的隱含關系，但當人們在寫一個并沒有明確關系的事實時，同時也是一個簡單的圈套（事實上，使事情復雜化要比使事情簡單化簡單很多，這是因為人們通常對于復雜的印象比簡單要深刻許多。通過關系animalis和animals來表述它們之間的關系，使得人們在閱讀代碼時能夠一目了然?；虿捎脝问聦崳阂粋€好的提交它們的格式如下所示：CLIPS采用模板(deftemplate)的意義來描述事實以幫助程序員編寫程序。例子：(grocerylist icecream coolies candy fudgesauce)中破折號用來將多詞組合成一個單字段。 風格問題用事實的第一個字段來描述后續(xù)字段的關系是很好的基于規(guī)則編程風格。當人們在讀一段程序時，使用合適的空格會帶來許多方便，CLIPS會將其自動置換為單空格。CLIPS(clear)CLIPS(assert (grocerylisticecreamcookiescandyfudgesauce))Fact1CLIPS(facts)f0 (initialfact)f1 (grocerylist icecream cookie candy fudgesauce)For a total of 2 facts.CLIPS破折號和減號被使用來創(chuàng)建單字段，這樣，CLIPS就會將“fudge sauce”作為一個單字段了。下面的例子將更清楚的表現(xiàn)了回車應用于表中，增加可讀性的作用。CLIPS被認為是區(qū)分大小寫的，因為它將大寫和小寫字母區(qū)別對待。同樣，我們也注意到CLIPS會保存事實中字段里的大寫和小寫字母。如你所見，在雙引號中插入的回車在字符串輸出中會將雙引號的后半部分移到下一行。然而，當你在輸入一個字符串的時候，要注意插入回車后的效果，例子如下：回車的使用是為增加可讀性。多字段通常被由一個或多個的空格，制表，回車或表格組成的空白隔離開來。定義模板事實(Deftemplate facts)，稍后會做詳細的表述，它是無序的，因為它用命名字段來定義數(shù)據(jù)。舉例說明，有序事實(duck Brian)有兩個字段，同樣(Brian duck)也有兩個字段，然而，CLIPS將其看作兩個不同的事實，因為有序事實字段的值是不同的。f6 (coordinates 1 2 3)f7 (coordinates 1 3 2)舉個例子，注意，CLIPS會自動將包含相同數(shù)字“1”,“2”和“3”的事實區(qū)分開。一個事實可以是有序的，也可能是無序的。例外的是，一些函數(shù)如assert和retract僅僅只能用于事實，而不能用于對象。一個事實由一個或多個被圓括弧括住的字段組成。允許僅一個數(shù)字的事實，然而，現(xiàn)在必需一個符號作為第一字段，同時，CLIPS的一些專用字段不能用來作為第一字段，但是可以用來作為其他字段。如你所見，這是因為當數(shù)字足夠小，就會被從指數(shù)表示轉換到浮點型格式。9，223，372，036，854，775，808 … 9，223，372，036，854，775，8072N1 … 2N11沒有小數(shù)點的數(shù)字即是整型，除非它們不屬于整型范圍。浮點型通常被簡化為float。 第三和第四種字段類型為數(shù)字型字段。一些例子如下：一個字符串必須用雙引號引起來，雙引號是字段的一部分。duckduck1duck_soupducksoupduck11_soupsoupd!?%^通常情況下，最好是避免使用這些符號來表示字符，除非你有更好的理由需要用到它們。除了“amp。CLIPS會以一個錯誤消息響應并提示給你（就像生活中的某些時候，你得做些錯誤的事情以使得某些事情正確）。 ？和$?也許不能作為一個符號的開始，但是可以插入其中分號在CLIPS的作用是指示一個注釋的開始，如果你試圖增加一個分號，CLIPS便會認為你在輸入一段注釋并等待你的完成。 波浪字符，~l 小于，.這也是尖括號的一部分。號l 起始和結束圓括號，（）lll一些字符的作用等同于分隔符以結束一個符號。“amp。 | ~ 。CLIPS區(qū)分大小寫。然而，如果“shot”被當作一個字段名，上面的事實可能是一個合法的deftemplate事實。舉例，下面即是一個非法的事實：在這個事實中，字段被空格分隔，并由圓括弧括起來。(duckshot Brian Gary Rey)字段由空格或占位符被普通的分隔。顯式的聲明加強了軟件工程的概念，是產生一個高效軟件的編程訓練。未命名的字段中，值的類型由你的輸入決定。這里有許多不同有效的字段類型：float，integer，symbol，string，externaladdress，factaddress，instancename和instanceaddress。舉例，試想一個字段就是一個郵箱，沒有郵箱和郵箱中沒有信件是完全兩碼事?？梢员硎精C人的捕鴨袋中今天一無所獲。舉例如下：之所以稱一個表為有序的，意味著表中的位置是非常重要的?，F(xiàn)在，一些定義是必需的了。(huntergame duck Brian)與之相比，命名字段的順序是不重要的，稍后你將在deftemplate中看到。(duck Brian)(Brian duck)未命名字段的順序非常重要。下面有一個關于單字段事實的例子，一個字段即是一個值的占位符。注：這里的（3）提到的電視廣告，意思是電視廣告里的廣告者會大呼小叫的對他們的產品爆發(fā)歡呼，聲音像鴨子叫一樣，諷刺幽默。等等）。一個字段就是一個占位符（命名或未命名），通常擁有一個值。注：（facts）命令的完整語法為：(facts [start [end [maximum]]])，start表示顯示索引號大于等于start的事實，end表示小于等于end的事實，maximum表示顯示在start和end之間最多maximum個事實。最高索引為3，通過CLIPS的信息消息Fact3返回。CLIPS(clear)CLIPS(assert (a) (b) (c))Facts3CLIPS(facts)f0 (initialfact)f1 (a)f2 (b)f3 (c)For a total of 4 facts.CLIPS(facts 0)f0 (initialfact)