Pure is a modern-style functional programming language based on term rewriting.

code.google.com