clingo: introduce clingo 4.2.1 to -other