لوجيك بلوكس
نظام LogicBlox هو لغة برمجة منطقية تجارية ، تصريحية، وتزايدية ، وقاعدة بيانات استنتاجية مستوحاة من Datalog . تُوسّع لغة البرمجة LogiQL نطاق Datalog بإضافة العديد من الميزات، بما في ذلك النفي الطبقي، والتجميع، ونظام الوحدات. وقد استُخدم LogicBlox لبناء تحليلات المؤشرات للغة Java . [ 1 ]
في 3 ديسمبر 2014، استحوذت شركة بريديكتكس على شركة لوجيك بلوكس. [ 2 ] وفي 28 يونيو 2016، استحوذت شركة إنفور على شركة بريديكتكس. [ 3 ]
سمات
- النفي الطبقي [ 4 ]
- الدوال التجميعية [ 5 ]
- التقييم باستخدام خوارزمية الربط الأمثل الجديدة في أسوأ الحالات . [ 6 ] [ 7 ]
- مُنشئات البيانات
- الكتابة الثابتة [ 8 ]
- نظام معياري
- ميزات البرمجة الاحتمالية
- الحساب التزايدي [ 9 ]
- تصحيح الأخطاء باستخدام المصدر [ 10 ] [ 11 ]
مراجع
ملحوظات
- ↑ أنطونياديس، توني؛ تريانتافيلو، قسطنطين؛ سماراغداكيس، يانيس (18 يونيو 2017). "نقل doop إلى Soufflé" . وقائع ورشة العمل الدولية السادسة لـ ACM SIGPLAN حول أحدث التقنيات في تحليل البرامج . SOAP 2017. نيويورك، نيويورك، الولايات المتحدة الأمريكية: رابطة آلات الحوسبة. الصفحات 25-30 . doi : 10.1145/3088515.3088522 . ISBN 978-1-4503-5072-3. S2CID 3074689 .
- ↑ "استحواذ بريديكتكس على لوجيك بلوكس" . mergr.com . تم الاطلاع عليه بتاريخ 2024-06-08 .
- ↑ "شركة إنفور تستحوذ على شركة بريديكتكس" . finance.yahoo.com . تم الاطلاع عليه بتاريخ 2024-06-08 .
- ↑ "6.4. النفي - دليل مرجعي لبرنامج LogicBlox 3.10" . developer.logicblox.com . تم الاطلاع عليه بتاريخ 4 مارس 2023 . " بالإضافة إلى ذلك، لا يُسمح بالنفي إلا عندما تستطيع المنصة تحديد طريقة لتصنيف جميع القواعد والقيود التي تستخدم النفي. "
- ↑ "الفصل 7. القواعد - دليل مرجعي لبرنامج LogicBlox 3.10" . developer.logicblox.com . تاريخ الاسترجاع: 4 مارس 2023 .
- ↑ فيلدهويزن، تود ل. (2013-12-20). "خوارزمية الربط الثلاثية Leapfrog: خوارزمية ربط مثالية في أسوأ الحالات". arXiv : 1210.0481 [ cs.DB ].
- ↑ أبيرجر، كريستوفر ر.؛ تو، سوزان؛ أولوكوتون، كونلي؛ ري، كريستوفر (مايو 2016). "تقنيات قديمة لخوارزميات ربط جديدة: دراسة حالة في معالجة RDF". المؤتمر الدولي الثاني والثلاثون لورش عمل هندسة البيانات (ICDEW) لعام 2016، معهد مهندسي الكهرباء والإلكترونيات . الصفحات 97-102 . arXiv : 1602.03557 . doi : 10.1109/ICDEW.2016.7495625 . ISBN 978-1-5090-2109-3. S2CID 10016546 .
- ↑ زوك، ديفيد؛ باساليتش، أمير؛ سارنا-ستاروستا، بياتا (2009). "بيانات لوج المكتوبة" . في: جيل، آندي؛ سويفت، تيرانس (محرران). الجوانب العملية للغات التصريحية . سلسلة محاضرات في علوم الحاسوب. المجلد 5418. برلين، هايدلبرغ: سبرينغر. الصفحات 168-182 . doi : 10.1007/978-3-540-92995-6_12 . ISBN 978-3-540-92995-6. " تم تطبيق نظام الأنواع الخاص بنا كجزء من بيئة تطوير LogicBlox. "
- ↑ سينغ، شيكا؛ مادامينوف، سيرجي؛ بيندر، مايكل أ.؛ فردمان، مايكل؛ جونسون، رايان؛ موزلي، بنجامين؛ نغو، هونغ؛ نغوين، دونغ؛ أوليسن، سورين؛ ستيروالت، كورت؛ واشبورن، جيفري (مايو 2020). "نهج جدولة للصيانة التزايدية لبرامج داتا لوج". ندوة IEEE الدولية للمعالجة المتوازية والموزعة (IPDPS) لعام 2020. الصفحات 864-873 . doi : 10.1109/IPDPS47924.2020.00093 . ISBN 978-1-7281-6876-0. S2CID 216513350 .
- ^ كوهلر، سفين. لوداشر، بيرترام؛ سماراغداكيس، يانيس (2012). "تصحيح أخطاء سجل البيانات التعريفي للبشر فقط" . في بارسيلو، بابلو؛ بيشلر، رينهارد (محرران). سجل البيانات في الأوساط الأكاديمية والصناعة . ملاحظات محاضرة في علوم الكمبيوتر. المجلد. 7494. برلين، هايدلبرغ: سبرينغر. ص 111 – 122. دوى : 10.1007 / 978-3-642-32925-8_12 . رقم ISBN 978-3-642-32925-8.
- ↑ "الفصل 17. المصدر" . دليل مرجعي لبرنامج LogicBlox 3.10 . تم الاطلاع عليه بتاريخ 11-03-2023 .
مصادر
- غرين، تود جيه؛ عارف، مولهام؛ كارفوناراكيس، غريغوريس (2012). "لوجيك بلوكس، المنصة واللغة: دليل تعليمي" . في: بارسيلو، بابلو؛ بيشلر، راينهارد (محرران). داتا لوج في الأوساط الأكاديمية والصناعية . سلسلة محاضرات في علوم الحاسوب. المجلد 7494. برلين، هايدلبرغ: سبرينغر. الصفحات 1-8 . doi : 10.1007/978-3-642-32925-8_1 . ISBN 978-3-642-32925-8.
- عارف، مولهام؛ تين كيت، بالدر؛ غرين، تود جيه؛ كيميلفيلد، بيني؛ أولتيانو، دان؛ باساليتش، أمير؛ فيلدهويزن، تود إل؛ واشبورن، جيفري (27 مايو 2015). "تصميم وتنفيذ نظام LogicBlox" . وقائع مؤتمر ACM SIGMOD الدولي لإدارة البيانات لعام 2015. SIGMOD '15. نيويورك، نيويورك، الولايات المتحدة الأمريكية: رابطة آلات الحوسبة. الصفحات 1371-1382 . doi : 10.1145/2723372.2742796 . ISBN 978-1-4503-2758-9. S2CID 2161070 .
- كيفر، مايكل؛ ليو، يانهونغ آني (19-09-2018). برمجة المنطق التصريحي: النظرية والأنظمة والتطبيقات . مورغان وكلايبول. ص 345. ISBN 978-1-970001-97-6.
للمزيد من القراءة
- هالبين، تيري؛ روغابر، سبنسر (13 نوفمبر 2014). لوجي كيو إل: لغة استعلام لقواعد البيانات الذكية . مطبعة سي آر سي. رقم ISBN 978-1-4822-4493-9.
انظر أيضاً
فئات :
- لغات البرمجة المنطقية
- لغات البرمجة عالية المستوى