arXiv:2503.19762v1 通知类型: 新 摘要: 将逻辑程序拆分为子程序可以将计算其稳态模型的任务转化为子程序的类似任务。这可以用来提高求解性能并证明程序的正确性。我们通过不仅考虑谓词之间的依赖关系，还考虑其参数和上下文，来泛化这种技术的应用条件。这使得通常在实践中使用的程序可以进行拆分，而之前的结果并不适用于这些程序。