顺序一致的程序是谨慎单调的

某些在答案集（稳定模型）语义下缺乏“谨慎单调性”这一令人愉快的性质的普通逻辑程序。也就是说，向程序添加一个其后果时，可能会导致它失去另一个后果。Fages 通过证明顺序一致性（order-consistency）的语法条件保证答案集的存在，表明了这一点。本文证明，顺序一致的程序不仅是一致的，而且是谨慎单调的。由此可见，它们也是“累积的”。也就是说，将程序的若干后果进行增补，不会改变其后果。事实上，我们展示，其答案集保持不变。