Did you know ... Search Documentation:
Pack pac -- prolog/zdd/zsat.pl

The current version of pack pac does not contain a file prolog/zdd/zsat.pl