我的代码是 for x in self.P:# 遍历规则库中的每条产生式 if ListOneInSet(x, self.DB): # 判断规则库中的这条产生式的前提是否在已知的事实库中。 flag1 = False for i in x: if i not in self.DB:#对于不满足的那部分 #弹出一个对话框，询问用户是否满足该前提，即是否事实库中包含该前提。 #todo btn = QMessageBox.question("询问", "是否"+i, QMessageBox.OK, QMessageBox.Cancel) if btn == QMessageBox.OK: self.textEdit_2.setText(self.textEdit_2.toPlainText() + "\n" + i) self.DB.add(i) flag1 = True if flag1: self.go() return

看起来你的代码缩进是4个空格，但是在if语句的内部缩进了8个空格。这可能会导致Python无法正确解析代码块的缩进。

你可以将if语句的内部缩进改成4个空格，或者使用Tab键来缩进。建议使用4个空格来缩进，这是Python官方推荐的缩进方式。

可以改为如下代码：

for x in self.P:
    # 遍历规则库中的每条产生式
    if ListOneInSet(x, self.DB):
        # 判断规则库中的这条产生式的前提是否在已知的事实库中。
        flag1 = False
        for i in x:
            if i not in self.DB:
                # 对于不满足的那部分
                # 弹出一个对话框，询问用户是否满足该前提，即是否事实库中包含该前提。
                # todo
                btn = QMessageBox.question("询问", "是否"+i, QMessageBox.OK, QMessageBox.Cancel)
                if btn == QMessageBox.OK:
                    self.textEdit_2.setText(self.textEdit_2.toPlainText() + "\n" + i)
                    self.DB.add(i)
                    flag1 = True
        if flag1:
            self.go()
            return