声明式编程中重写逻辑下的程序组合

构造函数基条件重写逻辑是一种集成一阶函数式和逻辑编程的通用框架，为非确定函数式-逻辑程序提供代数语义。在此形式化语境中，我们引入一种简单的数组模块概念，作为可以与几种机制一起扩展的开放程序。这些机制基于一组受限的操作。然而，这些操作的高表达力使我们能够以简单方式建模诸如隐藏、导出/导入、泛型/实例化和继承等典型程序模块化构造。我们也处理该提案的语义方面，通过引入一个 immediate consequence operator，并研究基于该操作的几种替代语义，以逻辑编程为线索：该操作本身、其最小固定点（程序模块的最小模型）、其前固定点集合（程序模块的项模型）以及其他变体，以找到一种与操作集相称且完全抽象的语义以及自然的可观测性概念。