回答集編程

回答集編程是語法上類似傳統邏輯編程而語義上密切於非單調邏輯的一種聲明式編程 。 在傳統邏輯編程和回答集編程之間的主要區別是如何表示否定爲失敗 。 在傳統邏輯編程中 ， 否定爲失敗指示推導失敗 ； 在回答集編程中 ， 它指示一個文字的一致性 。