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