AMBIT
Algebraic Manipulation by Identity Translation (also claimed: "Acronym May Be Ignored Totally").
An early pattern-matching language, developed by C. Christensen of Massachusetts Computer Assocs in 1964, aimed at algebraic manipulation.
[Sammet 1969, pp. 454-457].