The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
The DLV System for Knowledge Representation and Reasoning