The DLV system for knowledge representation and reasoning

The DLV system for knowledge representation and reasoning