逻辑程序中的对称结构

逻辑程序设计是程序设计的重要方法之一，所谓程序语义，就是赋予程序以意义。语义研究是逻辑程序设计中的一个重要课题，衡量一个给定逻辑程序语义成功与否一般有三个标准：第一，是否与常识相吻合；第二，表达能力如何；第三，是否具有可计算性。用这三个标准衡量，几乎所有已知的逻辑程序语义都有缺点。例如封闭世界假设CWA，与常识相吻合并且计算复杂性不大，但表达能力太弱，只适用于确定的程序。虽然被加以改进，表达能力增强，但计算复杂度增大并且时常与常识相悖。又比如，SLD-归结，SLDNF-归结以及循环不动点语义只对确定的，层次的和分层的程序有效；完全化过程对于非分层的程序还可能导致矛盾。因而，从表达能力上看，这些语义都是受限的。