我一直在研究 ASP，并且想知道这两种方法之间的关系，因为它们都在后端使用 SATsolvers。尽管文献中很少或没有重叠。我很欣赏两者的简单比较。
（CS StackExchange 上也有人问过这个问题
https://cs.stackexchange.com/questions/14633/why-is-alloy-not-an-answer-set-programming-system
)
我一直在研究 ASP，并且想知道这两种方法之间的关系，因为它们都在后端使用 SATsolvers。尽管文献中很少或没有重叠。我很欣赏两者的简单比较。
（CS StackExchange 上也有人问过这个问题
https://cs.stackexchange.com/questions/14633/why-is-alloy-not-an-answer-set-programming-system
)