А нет ли такого языка программирования, который бы на алгебре множеств был построен?..