لغة Differential Datalog (DDlog) هي لغة برمجة مصممة للحساب التفاضلي، حيث تعتبر ملائمة بشكل كبير لكتابة البرامج التي تقوم بتحديث إخراجها بشكل مستمر استجابةً لتغييرات الإدخال. يقوم مبرمج DDlog بتحديد الربط بين الإدخال والإخراج المرغوب فيه بطريقة إعلائية دون الحاجة إلى كتابة خوارزميات تفاضلية.
تم تطوير Differential Datalog بواسطة Leonid Ryzhyk، وهي مبادرة من شركة VMware، Inc. ظهرت اللغة لأول مرة في عام 2018. وتتميز DDlog بأنها لغة مفتوحة المصدر.
من الملامح البارزة لـ DDlog هو أنها تسمح بتحديثات تتبعية تلقائية، وهذا يعني أن البرامج المكتوبة بها قادرة على تحديث الإخراج بشكل فوري استجابةً لأي تغيير في الإدخال، مما يسهل عملية إنشاء تطبيقات الحساب التفاضلي.
بدلاً من كتابة خوارزميات تفاضلية، يمكن لمبرمجي DDlog تحديد السلوك المرغوب فيه بشكل أكثر إعلائية، مما يسهل فهم وصيانة البرامج. تعتمد DDlog على نموذج البرمجة الإعلائي، حيث يتم تحديد العلاقات بين البيانات بطريقة صريحة دون الحاجة إلى التركيز على كيفية تحقيق تلك العلاقات.
يمكن العثور على مستودع DDlog على GitHub، حيث يوجد به وصف شامل للغة وعدد من المسائل المفتوحة التي تناقشها المجتمع. ويبلغ عدد المسائل المفتوحة حالياً 131، وتم إنشاء أول تعهد في المستودع في عام 2018.
من المهم أن نلاحظ أنه لا يوجد صفحة ويكيبيديا رسمية لـ Differential Datalog حتى الآن، ولكن المعلومات المتوفرة عنها موجودة بشكل وافٍ على موقع GitHub.
باختصار، تعتبر Differential Datalog لغة برمجة مثيرة للاهتمام تستخدم للحساب التفاضلي، وهي توفر أدوات قوية للمبرمجين لتطوير تطبيقات تفاضلية بشكل فعال وسلس.