

The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem- bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, recognized today as a main obstacle...