逻辑程序的交互语义

我们将最近在约简式通信系统领域中出现的一些新想法应用于逻辑程序，以此为其程序范式的操作机器的隐藏交互和协调机制提供证据。我们所采用的呈现结果的语义框架为砖块逻辑，这一框架的优势在于能够统一处理目标和观察，并可用于应用抽象范畴工具来证明结果。我们的主要贡献包括：抽象统一的初等表示，以及与逻辑程序最常见语义一致的并发协调抽象语义。此外，砖块语义的可组合性由标准结果保证，因为只要检查与逻辑程序相关的砖块系统满足砖块分解属性即可。对处理约束系统的方法也讨论了。