我正在开发一个需要设计来从其中一个工作簿更新谓词@master的需求。因此，我在一个非活动块中添加了以下逻辑，该块被调用用于用户操作。
+ predicate2 @ master [x，y] = flag＆lt; - predicate1 @ prev [x，y] = flag，flag = true。
请注意，我需要在复制到主副本中的谓词2时从谓词1中删除事实。
编译此逻辑时，我得到以下错误。
block block_4SZVZ9DO：第24行：错误：'predicate2 @ master'的'master'阶段早于run-stage'INITIAL';不允许导出过去阶段的事实（代码：STAGE_PAST） + predicate2 @ master [x，y] = flag
请帮助您从工作簿中更新Master中的谓词。
谢谢， Senthilvel
答案 0 :(得分：1)
问题是必须在该分支上执行更新谓词@分支的逻辑。对于您的逻辑，您需要在主服务器上执行它。看来你在工作簿上执行逻辑，而不是主人，对吗？
我认为更大的问题是，你是否需要编写这种逻辑。我们从工作簿更新master的机制是通过工作簿框架提供的“commit”服务调用。你尝试过使用它吗？或者它不能以某种方式满足你的需求？