逻辑程序的逻辑内容

本研究解决了逻辑程序（LP）在传统操作语义和模型解释下的理解差距，通过定义“支持”关系阐明程序的“知识”。该方法不仅表述了经典和直觉逻辑，还揭示了一种中间逻辑，并为知识表示、自动推理和形式验证提供了新的逻辑基础。