What actively maintained languages are built around term rewriting?
Can you recommend full-fledged programming languages, other than Prolog, that provide first-class support for term rewriting or are primarily designed around it? I'm looking for a standalone language…