初识ASP（Answer Set Programming）

第一印象 ASP（回答集编程）是基于逻辑程序和它们的回答集的声明式编程范式，它提供了一种简单且强大的建模语言来解决组合问题，而Potsdam Answer Set Solving Collection（Potassco）则把包括gringo、clasp的多种用于ASP的工具组合起来，成为一个集成的ASP系统clingo。 用途 主要用于快速解决计算困难的问题，如full-fledged SAT,

>>阅读原文<<