In some cases the IF/Prolog shipment may reach you as a compressed tarfile. If so, please move the tarfile to the directory where you wish to install IF/Prolog, uncompress it using a command like gunzip IFProlog50B.tar.gz and extract the contents of the tarfile with tar xvf IFProlog50B.tar. You can then proceed with step 3 of the above installation procedure.