基于规则的演绎系统主要有()、()和()
出自:计算机科学