An early string processing language. Program consists of an assertion table which specifies pATterns, and an imperATive table which specifies replacements. "AXLE: An AxiomATic Language for String TransformATions", K. Cohen et al, CACM 8(11):657-661 (Nov 1965).