Answer-set programming with Clingo