very high-level programming language based on the mathematical theory of sets