Implementation of term rewriting-based programming languages | lit.salon