SWI-Prolog هي تنفيذ مجاني للغة برمجة Prolog، والتي تستخدم عادة في تطبيقات تعليمية وتطبيقات الويب الدلالية. تمتلك SWI-Prolog مجموعة غنية من الميزات والمكتبات المتنوعة تشمل برمجة منطق القيد، التعددية الخيوط، اختبار الوحدات، واجهات المستخدم الرسومية، والتفاعل مع جافا، وقواعد البيانات بواسطة ODBC، وغيرها الكثير. بالإضافة إلى ذلك، تدعم SWI-Prolog البرمجة الأدبية وتوفر خوادم الويب، وتدعم SGML، RDF، RDFS، وتوفر أدوات للمطورين مثل بيئة تطوير متكاملة مع مصحح أخطاء رسومي وبروفايلر رسومي.
تعمل SWI-Prolog على عدة منصات مثل Unix وWindows وMacintosh وLinux، مما يجعلها قابلة للاستخدام في مختلف البيئات. وقد شهدت SWI-Prolog تطويرًا مستمرًا منذ عام 1987، حيث يعود تاريخ تأسيسها، ويعود الفضل الرئيسي في تطويرها إلى يان فيليماكر (Jan Wielemaker). ويُعتبر اسم SWI اختصاراً لـ Sociaal-Wetenschappelijke Informatica وهو الاسم السابق للمجموعة في جامعة أمستردام حيث يعمل فيليماكر. وقد تغير اسم هذه المجموعة إلى HCS (Human-Computer Studies).
من الجدير بالذكر أن SWI-Prolog توفر توثيقاً شاملاً يسهل على المستخدمين فهم واستخدام اللغة، مما يسهل التعلم والتطوير باستخدامها. بفضل مرونتها وميزاتها الغنية، تعتبر SWI-Prolog أداة قوية لتطبيق البرمجة المنطقية في مجموعة متنوعة من السيناريوهات والمشاريع.