هو تطبيق مجاني للغة البرمجة Prolog، و هي شائعة الإستخدام في التدريس و تطبيقات الويب الدلالية. يحتوي على مجموعة غنية من الميزات، و مكتبات لبرمجة منطق القيد، و تعدد مؤشرات الترابط، و إختبار الوحدة، و واجهة المستخدم الرسومية، و التفاعل مع Java، و ODBC و غيرها، و البرمجة المتعلمة، و خادم الويب، و SGML، و RDF، و RDFS، و أدوات المطور (بما في ذلك IDE مع مصحح أخطاء واجهة المستخدم الرسومية و ملف تعريف واجهة المستخدم الرسومية)، و وثائق شاملة.