verdinden clingo mit java