The current version of pack cclab does not contain a file prolog/cclazy/ccprob.pl
cclab
prolog/cclazy/ccprob.pl