Compile Redlog Sources from SourceForgeRedlog is included in the open-source computer algebra system Reduce, which is available on SourceForge:
Redlog is continuously being developed and improved. For serious Redlog users we recommend to check out the Reduce sources from SVN and compile the system themselves.
Compilation requires a configure and a make step, which usually cause no problems. Detailed download and installation instructions can be found on the installation page in the Reduce Wiki.