The current version of pack quickcheck does not contain a file prolog/quickcheck.pl
quickcheck
prolog/quickcheck.pl