用于描述与解决规划问题的逻辑编程

一种将问题解决方案表达为稳定模型的逻辑编程范式最近被提出作为解决各种组合和搜索问题，包括规划问题的声明式方法。在此范式中，所有程序规则都被视为约束，解决方案是规则集的稳定模型。这是一个与逻辑编程标准范式的根本性不同。在本文中，我们重新审视归纳逻辑编程，认为它允许一种与基于稳定模型的编程同样声明式的编程风格。然而，在归纳逻辑编程中，有两类规则：一方面是谓词定义（可能取决于归纳变量），它们不过是标准逻辑程序（在包含否定时具有非单调语义）；另一方面是约束归纳变量模型的规则。就此而言，归纳逻辑编程是标准逻辑编程范式的平滑扩展，而非根本性的不同。