Answer set programming. ([2019])