ALF Distribution:

LICENSE - License agreement (please read)
README - Installation instructions
ALF.tar.Z - The ALF distribution (compressed tar file)
manual.dvi - A user's manual (dvi format)
SBprolog.tar.Z - A distribution of SBprolog (compressed tar file), if you have no other prolog system