答案集编程

答案集编程（ASP）是一种面向困难搜索问题的声明性编程形式。它是基于逻辑编程的稳定模型语义。在ASP中，搜索问题被简化为计算稳定模型，而答案集求解器--生成稳定模型的程序--被用来进行搜索。许多答案集求解器的设计所采用的计算过程是对DPLL算法的增强，原则上，它总是终止的。在更广泛的意义上，ASP包括答案集在知识表示方面的所有应用，以及使用Prolog风格的查询评估来解决这些应用中出现的问题。

最简单的Lparse规则是带有约束的规则。这个语言中还包括一个有用的结构，就是选择。例如，选择规则包括在稳定模型中。包含这个选择规则而没有其他规则的Lparse程序有8个稳定模型--{p,q,r}的任意子集。稳定模型的定义被概括为具有选择规则的程序。选择规则也可以被视为稳定模型语义下命题公式的缩写。

例如，上面的选择规则可以看作是三个排除中间公式的联结的简写。Lparse的语言也允许我们写出有约束的选择规则，比如说变量（大写，和Prolog一样）在Lparse中被用来缩写遵循相同模式的规则集合，也用来缩写同一规则中的原子集合。例如，Lparse程序其中start和end是常数值的算术表达式。范围是一种符号化的快捷方式，主要用于以一种兼容的方式定义数域。