لغة البرمجة ProSet هي لغة برمجة تتمحور حول نظرية المجموعات وهي قيد التطوير في جامعة إيسن كبديل للغة SETL. تعتبر ProSet لغة مستوى عالٍ جداً تدعم عمليات النمذجة الأولية. توفر ProSet أنواع بيانات أولية من الدرجة الأولى تشمل: الذرة، العدد الصحيح، العدد الحقيقي، السلسلة، البوليانية، الثنائيات، والمجموعات. كما تتيح ProSet استخدام الوظائف والوحدات كأنواع بيانات أولية أيضًا.
تمتلك ProSet ميزات عديدة تشمل دعم التعليقات والتنسيق الدلالي للتبويب وتعليقات السطر. وتعتبر جامعة إيسن هي المجتمع الأصلي الذي يقوم بتطوير هذه اللغة.
تجده مزيدًا من المعلومات حول لغة ProSet على صفحتها في ويكيبيديا: ProSet Wikipedia.
يمكن أن توفر ProSet بيئة برمجة فعالة لتطوير التطبيقات التي تتطلب التعامل مع العمليات المجموعية والنمذجة الأولية بشكل أساسي.