SETL2
From the SETL Wiki
SETL2 is a simplified version of SETL developed in the late 1980s by Kirk Snyder. It lacks some of the more obscure features of SETL (macros, backtracking and the data representation sublanguage), but adds objects, closures and a more Ada-like syntax for loops and modules.
SETL2 has been implemented on MS-DOS, Windows, Linux, IRIX, SunOS, Solaris, AIX and Mac OS 8, though the latest version (3.0) is Windows-only.

