Answer set programming.