答案集編程

答案集編程（ASP）是一種面向困難搜索問題的聲明性編程形式。它是基于邏輯編程的穩定模型語義。在ASP中，搜索問題被簡化為計算穩定模型，而答案集求解器--生成穩定模型的程序--被用來進行搜索。許多答案集求解器的設計所采用的計算過程是對DPLL算法的增強，原則上，它總是終止的。在更廣泛的意義上，ASP包括答案集在知識表示方面的所有應用，以及使用Prolog風格的查詢評估來解決這些應用中出現的問題。

最簡單的Lparse規則是帶有約束的規則。這個語言中還包括一個有用的結構，就是選擇。例如，選擇規則包括在穩定模型中。包含這個選擇規則而沒有其他規則的Lparse程序有8個穩定模型--{p,q,r}的任意子集。穩定模型的定義被概括為具有選擇規則的程序。選擇規則也可以被視為穩定模型語義下命題公式的縮寫。

例如，上面的選擇規則可以看作是三個排除中間公式的聯結的簡寫。Lparse的語言也允許我們寫出有約束的選擇規則，比如說變量（大寫，和Prolog一樣）在Lparse中被用來縮寫遵循相同模式的規則集合，也用來縮寫同一規則中的原子集合。例如，Lparse程序其中start和end是常數值的算術表達式。范圍是一種符號化的快捷方式，主要用于以一種兼容的方式定義數域。