The design of the seventh answer set programming competition