AMBIT

Algebraic Manipulation by Identity Translation (also claimed: "Acronym May Be Ignored Totally").

Carlos Christensen, Computer Assocs, MA, 1964.

An early pattern-matching language aimed at algebraic manipulation. See AMBIT/G, AMBIT/L, AMBIT/S.