Aggregates or similar special predicates have been already built in several ASP solvers [4, 26]: the next example shows how to fast prototype aggregate semantics without taking into account of the efficiency of a built-in implementation.