SET Language. A very high level language based on sets,
Data types include sets (unordered collections),
tuples
(ordered collections) and maps (collections of ordered pairs).
Expressions may include
quantifiers ('for each' and
'exists'). The first
Ada translator was written in SETL.
["Programming With Sets - An Introduction to SETL", Jacob
T. Schwartz et al, Springer 1986].