playing with Clingo