That and Maude is another fascinating language. Pure term re-writing and explicit definitions of all data structures seems almost like a higher level of abstraction or programming.
[1] - https://en.m.wikipedia.org/wiki/Maude_system
