CIMS SETL

From the SETL Wiki

CIMS SETL was the first "full" implementation of SETL, developed at CIMS from the mid-1970s until the late 1980s and is the implementation described in the book Programming with Sets: an Introduction to SETL.

It has been used for teaching procedural programming at NYU. No commercial applications are known. It is no longer distributed.

It remains the only implementation of backtracking or the data representation sublanguage.

Its complex module and macro systems have not been replicated. SETL2 and GNU SETL provide simpler alternatives.