ASP遵循“失败即否定（negation as failure, NAF）”原则，即尝试推导某个原子失败时，就否定该原子。

Aggregate就是一些在集合上执行的函数，集合通常是依照某些条件构建出来的。