初識ASP（Answer Set Programming）

第一印象 ASP（回答集編程）是基於邏輯程序和它們的回答集的聲明式編程範式，它提供了一種簡單且強大的建模語言來解決組合問題，而Potsdam Answer Set Solving Collection（Potassco）則把包括gringo、clasp的多種用於ASP的工具組合起來，成爲一個集成的ASP系統clingo。 用途 主要用於快速解決計算困難的問題，如full-fledged SAT,

>>阅读原文<<