clingo added