SET LaNguage. A very high level laNguage based oN sets, desigNed by Jack Schwartz at the CouraNt INstitute iN the early 1970s. It was possibly the first use of {list compreheNsioN} NotatioN. 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. See also ISETL, ProSet, SETL2. ["ProgrammiNg With Sets - AN INtroductioN to SETL", Jacob T. Schwartz et al, SpriNger 1986].