?规则系统

另一个具有有效推理系统的谓词逻辑的子集包含一个所谓的规则系统（rule systems），也叫Horn logic或 definite logic programs。一条规则具有如下形式：

?规律系统

... rule formers 规律形成者 rule system 规律系统 regularity 规律性 ...