This project is still in progress ...
R-Machine is a program which is used to define and check the logical calculus steps. It is not designed to perform the logic calculus, like Prolog.
R-machine defined a language, the R-Language, to describe the logic expression, and could change the form of it by some predefined rules. This change process is somehow like a mathematical derivation process, so it could be used to check the correctness of the mathematical derivation process.