add clingo support