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].