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