Answer-set programming