مقدمة SICStus

SICStus Prolog هو تطبيق خاص ومتوافق مع معايير ISO للغة البرمجة المنطقية Prolog . يتم تطويره من قبل المعهد السويدي لعلوم الحاسوب منذ عام 1985 ويركز بشكل كبير على الأداء وقابلية التوسع.

في حوالي عام ١٩٨٥، تأسس المعهد السويدي لعلوم الحاسوب (SICS)، وانضم إليه ماتس كارلسون لتطوير محرك برولوج ليكون منصةً لأبحاث التوازي باستخدام عامل "أو" في لغة برولوج. أُنجز هذا العمل في إطار مشروع جيجاليبس غير الرسمي، بمشاركة ديفيد إتش دي وارن من معهد ستانفورد للأبحاث الدولي (SRI International) وباحثين من مانشستر ومختبر أرغون الوطني، بالإضافة إلى جهود التوازي باستخدام عامل "و" . نتج عن ذلك برامج برولوج متطورة للتوازي باستخدام عامل "أو"، مثل أورورا وميوز. كان الهدف من هذه البرامج تحقيق تسريع فعال من خلال التنفيذ المتوازي باستخدام عامل "أو" بشفافية تامة للمبرمج مع دعم كامل للغة برولوج. أدى ذلك إلى قيام المعهد السويدي لعلوم الحاسوب بتوزيع برنامج SICStus Prolog، الذي سرعان ما لاقى رواجًا واسعًا في الأوساط الأكاديمية. ^{[ ١ ]}

وُجدت مواصفات أولية لـ SICStus عام 1986، مستوحاة من لغة DEC-10 Prolog ولغة Quintus . إلى جانب كونها مفتوحة المصدر، شملت الأسباب الرئيسية لشعبيتها توافقها مع معايير DEC-10 وQuintus Prolog، وأدائها الممتاز، وشفرتها البرمجية المُولّدة المُدمجة. أُضيفت لاحقًا ميزات تحليل الأداء وتجميع الشفرة الأصلية. في أواخر الثمانينيات، موّلت وكالة التمويل السويدية وعدد من الشركات تطوير SICStus على نطاق صناعي، ليصبح في نهاية المطاف منتجًا تجاريًا.

بحلول عام 1995، كان يُعتبر SICStus مرجعًا فعليًا لأداء تطبيقات Prolog. ^{[ 2 ]}

في عام ١٩٩٨، استحوذت شركة SICS على برنامج Quintus Prolog، وتم دمج عدد من ميزاته في إصدارات SICStus Prolog الأحدث. كما يدعم البرنامج العديد من مجالات القيود، بما في ذلك مُحلِّل قوي للمجالات المحدودة. ولا تزال SICS تُجري صيانة نشطة لقاعدة بيانات SICStus. ^{[ ١ ]}

SICStus هو تطبيق للغة برولوج متوافق مع معايير ISO، مبني على آلة وارن المجردة ، ويركز بشدة على الأداء والاستقرار. ^{[ 1 ]} كما يوفر دعمًا لتطبيقات الويب. يدعم SICStus العديد من مجالات القيود، ويتضمن تطبيقًا خارجيًا لمكتبة برمجة منطق القيود CLP(R) القائمة على المتغيرات المنسوبة، ^{[ 3 ]} لحل القيود على الأعداد الحقيقية والنسبية، وتطبيقًا أصليًا عالي الأداء لـ CLP(FD) لحل القيود على الأعداد الصحيحة. ^{[ 4 ]} يتميز بالعديد من الأساسيات لحل القيود، مثل الروتينات الفرعية، والمتغيرات المنسوبة، والأعداد الصحيحة غير المحدودة. يُعد تعريف الروتينات الفرعية الكتلية فعالًا للغاية. كما يتضمن العديد من خصائص وميزات ووحدات مكتبة Quintus Prolog. منذ الإصدار 4.3، يحتوي SICStus أيضًا على مُترجم JIT (في الوقت المناسب) إلى كود أصلي، ولكنه لا يدعم حاليًا تعدد الخيوط أو الجداول. ^{[ 1 ]}

يتضمن SICStus نسخة معدلة من مكتبة اختبار الوحدات plunit التي تم تطويرها في الأصل لـ SWI-Prolog وبيئة تطوير متكاملة مخصصة تسمى SPIDER. ^{[ 1 ]}

يُستخدم نظام SICStus في العديد من التطبيقات التجارية، كما شكّل أساسًا لأنظمة برمجة منطقية أخرى. ^{[ 1 ]} وكجزء من مشروع Gigalips، كان SICStus أساسًا للتطوير الأصلي لتطبيق Prolog المتوازي ( &-Prolog)، والذي تطور لاحقًا إلى نظام Ciao . ^{[ 1 ]} بُني التطبيق المرجعي للغة البرمجة المنطقية Gödel ، الذي ظهر لأول مرة حوالي عام 1992، على SICStus Prolog، مستخدمًا أسلوبًا نحويًا مختلفًا. ^{[ 1 ]}

• مقارنة تطبيقات لغة برولوج
• بناء الجملة ودلالات لغة برولوج

• كارلسون، ماتس؛ ميلدنر، بير (2012). "مقدمة SICStus - أول 25 عامًا" . نظرية وممارسة البرمجة المنطقية . 12 ( 1-2 ): 35-66 . arXiv : 1011.5640 . doi : 10.1017/S1471068411000482 . ISSN 1475-3081 . 

اعتبارًا من 16 ديسمبر 2023، استُمد هذا المقال كليًا أو جزئيًا من كتاب " خمسون عامًا من برولوج وما بعدها" ، من تأليف فيليب كورنر، ومايكل لويشل، وجواو باربوسا، وفيتور سانتوس كوستا، وفيرونيكا دال، ومانويل ف. هيرمينجيلدو، وخوسيه ف. موراليس، ويان ويليماكر، ودانيال دياز، وسلفادور أبرو، وجيوفاني سياتو. وقد رخص صاحب حقوق النشر المحتوى بطريقة تسمح بإعادة استخدامه بموجب ترخيص CC BY-SA 3.0 ورخصة GFDL . يجب الالتزام بجميع الشروط ذات الصلة.