Aggregate Functions in DLV
Representing Knowledge in A-Prolog