SETL is a very high-level programming language based on the mathematical theory of sets. It was originally developed by Jacob T. Schwartz at the New York University Courant Institute of Mathematical Sciences in the late 1960s. Wikipedia