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