Added documentation for the Clingo class