A framework for easing the development of applications embedding answer set programming
The DLV System for Knowledge Representation and Reasoning