【正文】 有用 deftemplates 才叫做占位符，將在第五章中進(jìn)行詳細(xì)的介紹。 (duck)事實(shí)是一個(gè)單獨(dú)，未命名占位符的事實(shí)，值為 duck。類比想像一下字段，就像碟子 (字段 )盛食物 (值 )一樣的道理。舉例，如果一個(gè)事實(shí)被定義為： (Brian duck) 表示一個(gè)叫 Brian 的獵人射殺了一只鴨子，那么事實(shí) : (duck Brian) 則表示鴨子獵手射殺了一個(gè)叫 Brian 的獵人。 事實(shí)上，一個(gè)好的軟件工程應(yīng)該采用關(guān)系型表示法來表述字段，一個(gè)好的事實(shí)表示如下： (huntergame duck Brian) 表示第一個(gè)字段代表獵人，第二個(gè)字段代表游戲名稱。一個(gè)表是一組無內(nèi)在序列的項(xiàng)目集合。一個(gè)多字段是有序字段，每個(gè)字段都有一個(gè)值，特殊符號(hào) nil 意思是無，通 常作為一個(gè)占位符用在空字段中。 注意， nil 表示了一個(gè)占位符，雖然它沒有值。如果沒有 nil，這個(gè)事實(shí)就是一個(gè)單字段事實(shí) (duck),如果一個(gè)規(guī)則依賴于兩字段激活，則該單字段事實(shí)不會(huì)被激活，稍后你會(huì)看到的。這些字段類型用來存儲(chǔ)字段值的類型。在 deftemplates 中，你可以顯式的聲明字段所包含值的類型。 Symbol 是一類字段類型，該類型起始于一個(gè)可印刷的 ASCII 碼并被選擇性的加一個(gè) 0 或更多的可印刷字符。舉例： (duckshot Brian Gary Rey) 有四個(gè)字段，指示了所有的殺鴨獵人。 事實(shí)中不能嵌入其他的事實(shí)。后面的三個(gè)人名為該字段下的值。同樣， CLIPS 中特定的符號(hào)有特殊的意義。 | ~ ?！?，“ |”和“～”不會(huì)獨(dú)立的使用或作為符號(hào)的任何部分。下 面的字符的作用等同于分隔符號(hào)。 ? 雙引號(hào)，“” ? 起始和結(jié)束圓括號(hào)，（） ? amp。 ? 波浪字符， ~ ? 分號(hào)，；指示一個(gè)注釋的開始，回車鍵結(jié)束 ? ？和 $?也許不能作為一個(gè)符號(hào)的開始，但是可以插入其中 分號(hào)在 CLIPS 的作用是指示一個(gè)注釋的開始，如果你試圖增 加一個(gè)分號(hào)， CLIPS 便會(huì)認(rèn)為你在輸入一段注釋并等待你的完成。 CLIPS 會(huì)以一個(gè)錯(cuò)誤消息響應(yīng)并提示給你（就像生活中的某些時(shí)候，你得做些錯(cuò)誤的事情以使得某些事情正確）。除了“ amp。通常情況下，最好是避免使用這些符號(hào)來表示字符，除非你有更好的理由需 要用到它們。一個(gè)字符串必須用雙引號(hào)引起來，雙引號(hào)是字段的一部分。一些例子如下： “ duck” “ duck1” “ duck/soup” “ duck soup” “ duck soup is good!!!” ? 第三和第四種字段類型為數(shù)字型字段。浮點(diǎn)型通常被簡(jiǎn)化為 float。沒有小數(shù)點(diǎn)的數(shù)字即是整型，除非它們不屬于整型范圍。 CLIPS(clear) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS(assert (number 1)) Fact1 CLIPS(assert (x )) Fact2 CLIPS(assert (y 1)) Fact3 CLIPS(assert (z 65)) Fact4 CLIPS(assert (distance )) Fact5 CLIPS(assert (coordinates 1 2 3)) Fact6 CLIPS(assert (coordinates 1 3 2)) Fact7 CLIPS(facts) f0 (initialfact) f1 (number 1) f2 (x ) f3 (y 1) f4 (z 65) f5 (distance ) f6 (coordinates 1 2 3) f7 (coordinates 1 3 2) For a total of 8 facts. CLIPS 如你所見， CLIPS 將輸入的指數(shù)表示法轉(zhuǎn)換成數(shù)字 ，這是因?yàn)楫?dāng)數(shù)字足夠小，就會(huì)被從指數(shù)表示轉(zhuǎn)換到浮點(diǎn)型格式。在 版本以前，允許僅一個(gè)數(shù)字的事實(shí)，然而，現(xiàn)在必需一個(gè)符號(hào)作為第一字段，同時(shí)， CLIPS 的一些專用字段不能用來作為第一字段，但是可以用來作為其他字段。 一個(gè)事實(shí)由一個(gè)或多個(gè)被圓括弧括住的字段組成。例外的是，一些函數(shù)如 assert 和 retract 僅僅只能用于事實(shí)，而不能用于對(duì)象。 一個(gè)事實(shí)可以是有序的，也可能是無序的。舉個(gè)例子，注意，CLIPS 會(huì)自動(dòng)將包含相同數(shù)字“ 1” ,“ 2”和“ 3”的事實(shí)區(qū)分開。舉例說明，有序事實(shí) (duck Brian)有兩個(gè)字段，同樣 (Brian duck)也有兩個(gè)字段，然而， CLIPS 將其看作兩個(gè)不同的事實(shí)，因?yàn)橛行蚴聦?shí)字段的值是不同的。 定義模板事實(shí) (Deftemplate facts)，稍后會(huì)做詳細(xì)的表述，它是無序的，因?yàn)樗妹侄蝸矶x數(shù)據(jù)。 多字段通常被由一個(gè)或多個(gè)的空格，制表，回車或表格組成的空白隔離開來。 CLIPS(clear) CLIPS(assert (The duck says “ Quack” )) Fact1 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) For a total of 2 facts. CLIPS(clear) CLIPS(assert (The duck says “ Quack” )) Fact1 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) For a total of 2 facts. CLIPS 回車的使用是為增加可讀性。 CLIPS(clear) CLIPS(assert (The duck says “ Quack” )) Fact1 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) For a total of 2 facts. CLIPS 然而，當(dāng)你在輸入一個(gè)字符串的時(shí)候，要注意插入回車后的效果，例子如下： CLIPS(assert (The duck says “ Quack ” )) Fact2 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) f2 (The duck says “ Quack ” ) For a total of 3 facts. CLIPS 如你所見，在雙引號(hào)中插入的回車在 字符串輸出中會(huì)將雙引號(hào)的后半部分移到下一行。 同樣，我們也注意到 CLIPS 會(huì)保存事實(shí)中字段里的大寫和小寫字母。 CLIPS 被認(rèn)為是區(qū)分大小寫的，因?yàn)樗鼘⒋髮懞托懽帜竻^(qū)別對(duì)待。 下面的例子將更清楚的表現(xiàn)了回車應(yīng)用于表中 ，增加可讀性的作用。破折號(hào)和減號(hào)被使用來創(chuàng)建單字段，這樣， CLIPS 就會(huì)將“ fudge sauce”作為一個(gè)單字段了。當(dāng)人們?cè)谧x一段程序時(shí)，使用合適的空格會(huì)帶來許多方便， CLIPS 會(huì)將其自動(dòng)置換為單空格。在此風(fēng)格中，第一個(gè)字段被稱為關(guān)系，事實(shí)的剩余字段被用來指定值。 良好的文檔處理 在專家系統(tǒng)中比其他語言如 Jave， C， Ada 等更顯重要，這是因?yàn)閷＜蚁到y(tǒng)中的規(guī)則并不是普通的按順序執(zhí)行。 另一個(gè)關(guān)聯(lián)的事實(shí)是 (duck)， (horse)和 (cow)。 一個(gè)明確的關(guān)聯(lián)， animalis 和 animals，比隱式的定義 (duck)， (horse)和 (cow)能使人們得到更多的信息。） 消除空格 之前我們介紹了空格用來分隔多字段，下面我們將看到在事實(shí)中，空格的作用不僅僅如此。因此，當(dāng)輸入相同的事實(shí)時(shí)， CLIPS 返回 FALSE。 如果你想在事實(shí)中包含空格，那么你必須使用雙引號(hào)，舉例如下： CLIPS(clear) CLIPS(assert (animalis “ duck” )) Fact1 CLIPS(assert (animalis “ duck ” )) Fact2 CLIPS(assert (animalis “ duck” )) Fact3 CLIPS(assert (animalis “ duck ” )) Fact4 CLIPS(facts) f0 (initialfact) f1 (animalis “ duck” ) f2 (animalis “ duck ” ) f3 (animalis “ duck” ) f4 (animalis “ duck ” ) For a total of 5 facts. CLIPS 注意上面，在 CLIPS 中，空格的使用使得每個(gè)事實(shí)都不同，雖然在 我們看來是同一個(gè)事實(shí)。將事實(shí)表中的事實(shí)移除稱之為撤銷，使用 retract 命令。如果你沒有給予，你當(dāng)然也沒有道理拿回什么。 你可以一次撤銷多條事實(shí)，如 下所示： CLIPS(clear) CLIPS(assert (animalis duck)) Fact1 CLIPS(assert (animalsound quack)) Fact2 CLIPS(assert (The duck says “ Quack.” )) Fact3 CLIPS(retract 1 3) CLIPS(facts) f0 (initialfact) f2 (animalsound quack) For a total of 2 facts. CLIPS 撤銷多條事實(shí)，只要在 retract 命令后跟上相應(yīng)的事實(shí)索引號(hào)即可。 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(retract *) CLIPS(facts) CLIPS ? 監(jiān)視事實(shí) CLIPS 提供了一些幫助你調(diào)試程序的命令。 監(jiān)視事實(shí)是通過輸入 (watch facts)命令來實(shí)現(xiàn)的，如下例子所示： CLIPS(clear) CLIPS(watch facts) CLIPS(assert (animalis duck)) ==f1 (animalis duck) Fact1 CLIPS 右雙箭頭符號(hào) ==表示事實(shí)正在被添加到內(nèi)存中，左雙箭頭 ==表示事實(shí)正在從內(nèi)存中移除，如下所示： CLIPS(reset) ==f0 (initialfact) ==f1 (animalis duck) ==f0 (initialfact) CLIPS(assert (animalis duck)) ==f1 (animalis duck) Fact1 CLIPS(retract 1) ==f1 (animalis duck) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS (watch facts)命令提供對(duì)事實(shí)表狀態(tài)的動(dòng)態(tài)顯示， (facts)命令顯示的是靜態(tài)的當(dāng)前事實(shí)表中所包含的事實(shí)。 你可以監(jiān)視的項(xiàng)目有很多，下面列舉出來，在《 CLIPS 參考指南》中有詳細(xì)的表述。 (watch facts) (watch instances) 。 應(yīng)用于對(duì)象 (watch rules) (watch activations) (watch messages) 。 應(yīng)用于對(duì)象 (watch genericfunctions) (watch methods) 。 默認(rèn)的 (watch statistics) (watch globals) (watch focus) (watch all) 。通過輸入 unwatch 命令 可以關(guān)閉監(jiān)視 (watch)命令。 一點(diǎn)幫助 CLIPS 提供有效的在線幫助。不久，你將會(huì)看到一個(gè)細(xì)目菜單。退出幫助的方法是一直按回車鍵，直到 CLIPS提示出現(xiàn)。 第二章 規(guī) 則 如果你想你的生活碩果累累，那么別打破規(guī)則