SETL - technical definition

(SET Theory Language) A programming language developed by Jack Schwartz in the early 1970s. It is based on set theory and used for mathematical and telecommunications applications. See ALICE and set theory.