The fourth answer set programming competition: Preliminary report