答案集编程

答案集编程答案集编程（ASP）是一种面向困难搜索问题的声明性编程形式。它是基于逻辑编程的稳定模型语义。在ASP中，搜索问题被简化为计算稳定模型，而答案集...