【发布时间】：2022-07-19 22:46:47
【问题描述】：
我最近对逻辑编程产生了兴趣，更具体地说，我对使用 CLINGO 的答案集编程产生了兴趣，我想知道在实践中对这种范式的普遍共识是什么。例如，大多数声明式程序，包括来自函数式和逻辑系列的程序，往往更简洁，并且可以被视为比命令式程序更接近自然语言。
我只是想知道是否有人知道 ASP 的任何实际优点和缺点。
【问题讨论】：
标签： paradigms answer-set-programming clingo
【发布时间】：2022-07-19 22:46:47
【问题描述】：
简而言之，最大的好处是能够轻松解决知识密集型组合问题（优化）。也就是说，由许多决策和约束组成的问题。
示例：数独、规划、系统设计、音乐创作等。
这些问题不能用命令式的方式来表示吗？是的，他们可以，但使用声明式问题解决方法更容易。
Potassco's introduction to ASP video (Youtube)（前 20 分钟）很好地概述了这些好处。
【讨论】：