pygments_clingo
