论文标题
关闭的引理及其在逻辑编程语义中的模块化应用
A lemma on closures and its application to modularity in logic programming semantics
论文作者
论文摘要
该注释指出了闭合单调增加功能的引理，并显示了它如何适用于分解和模块化的语义，该语义定义为某些单调函数的最小固定点。特别是它适用于逻辑程序的众多语义。附录解决了（可能是非单调）函数的固定点，这些函数夹在具有相同固定点的功能之间。
This note points out a lemma on closures of monotonic increasing functions and shows how it is applicable to decomposition and modularity for semantics defined as the least fixedpoint of some monotonic function. In particular it applies to numerous semantics of logic programs. An appendix addresses the fixedpoints of (possibly non-monotonic) functions that are sandwiched between functions with the same fixedpoints.
