A language for symbolic mathematics, especially General Relativity.
See also CLAM.
["ALAM Programmer's Manual", Ray D'Inverno, 1970].