A language for compiler writing. Data strucures are atoms, lists/trees. Control is based on pattern matching.
["Programming Language RIGAL as a Compiler Writing Tool", M.I. Augustson, Inst of Math and CS of Latvia U, 1987].