The project consists of finding appropriate tools which can help in learning concepts presented in the Term Rewriting lecture and installing them (under supervision). The main systems designed for the problems in term rewriting can be found at http://rewriting.loria.fr.
A student will have to choose appropriate systems, get to know their functionality and design a common interface. The main problems which should be possible to solve with the help of the existing tools are:
Since different systems may have different input/output formats, the decision should be made on one such format, which is then translated depending on which system is going to be used to solve a specific problem. A short manual should be written describing how to use the tools for term rewriting, i.e. how to write correct input, how to trigger a desirable action and what is the form of the output.Literature: