非Horn型规则相关论文