答案集编程/逻辑编程的实际优缺点

Question

我最近对逻辑编程感兴趣，更具体地说，我对CLINGO的答案集编程很感兴趣，我想知道在实践中对这个范式的普遍共识是什么。例如，大多数声明性程序，包括来自功能和逻辑家族的程序，往往更简洁，可以被看作比命令式程序更接近自然语言。

我只是想知道是否有人知道ASP的任何实际优点和缺点。

Answer 1

简而言之，最大的好处是能够轻松地解决知识密集的组合问题(优化)。也就是说，由许多决定和限制构成的问题。

例如:数独，计划，系统设计，音乐创作，等等。

这些问题就不能用一种势在必行的方式来表达吗？是的，他们可以，但是使用声明式的问题解决方法更容易。

在Potassco对ASP视频的介绍(Youtube) (前20分钟)中很好地概述了这些好处。