تعتبر لغة DatalogMTL تقنية محورية في مجال التفكير الزمني، حيث توفر القدرة على معالجة مجموعة واسعة من التطبيقات، بدءًا من القطاعات الصناعية وصولًا إلى المالية. لكن التحدي الكبير يكمن في تعقيدها الحسابي العالي، مما يجعل التفكير العملي في هذه اللغة أمرًا صعبًا للغاية.

في سعي لحل هذه المشكلة، قمنا بتقديم طريقة جديدة للتفكير في DatalogMTL تعتمد على تقنية 'السلاسل السحرية' (Magic Sets). هذه التقنية، التي تم تطويرها لوصف Datalog غير الزمني، تسمح بمحاكاة التقييم من الأعلى إلى الأسفل باستخدام التفكير من الأسفل إلى الأعلى.

قمنا بتنفيذ هذه الطريقة وقييمناها على مجموعات بيانات متاحة للجمهور، وأثبتت نتائجنا أن الطريقة المقترحة تفوقت بوضوح وبشكل متكرر على تقنيات التفكير الرائدة الحالية. من خلال هذه الإنجازات، نقدم خطوة جديدة نحو تحسين استخدام DatalogMTL في التطبيقات العملية، مما قد يسهم في تقدم العديد من المجالات.