生式系统的程序实现 若用 Prolog的规则表示产生式规则,则使用 Prolog 内部的推理机,无须自己编写推理机。若用 Prolog 的事实表示产生式规则,则须自己编写显式的推理 机程序 例动物分类系统中的产生式规则可用 Prolog语言中 的规则表示为: animal is(老虎”)iti(“食肉动物”)fac(“黄褐 色”),fact(“有黑色条纹”) itis(食肉动物”)ti1(哺乳动物”),fac(“有 爪”)fact(“有犬齿”),fact(“目盯前方”)
产生式系统的程序实现 若用Prolog的规则表示产生式规则，则使用Prolog 内部的推理机，无须自己编写推理机。若用Prolog 的事实表示产生式规则，则须自己编写显式的推理 机程序。 例 动物分类系统中的产生式规则可用Prolog语言中 的规则表示为： animal_is(“老虎”):-it_is(“食肉动物”),fact(“黄褐 色”)，fact(“有黑色条纹”). it_is(“食肉动物”):-it_is1(“哺乳动物”),fact(“有 爪”),fact(“有犬齿”),fact(“目盯前方”)
立生式系统的程序实现 itis(“食肉动物”):-tis1(“哺乳动 物 )fac(吃肉 tis1(哺乳动物”):-fact(“有奶” tis1(哺乳动物”):-fac(“有毛发”) 上面的产生式规则也可以用Poog中的事 实表示为: Rue(“食肉动物”,黄褐色”,“有黑色条 纹”],“老虎”)
产生式系统的程序实现 it_is(“食肉动物”):-it_is1(“哺乳动 物”),fact(“吃肉”). it_is1(“哺乳动物”):-fact(“有奶”). it_is1(“哺乳动物”):-fact(“有毛发”). 上面的产生式规则也可以用Prolog中的事 实表示为： Rule([“食肉动物” , “黄褐色” ， “有黑色条 纹”], “老虎”)