أبعاد خفية في الصياغة والدلالات في البرمجة المنطقية

البرمجة المنطقية هي نموذج برمجة يعتمد على لغات تستند إلى المنطق الرسمي، وتشمل من بينها Datalogو Prolog. وتتناول هذه المقالة بناء الجملة ودلالات المجموعة الفرعية الإعلانية البحتة من هذه اللغات. ومن الجدير بالذكر أن اسم "البرمجة المنطقية" يُستخدم أيضًا للإشارة إلى لغة برمجة محددة تتوافق بشكل كبير مع المجموعة الفرعية التصريحية من Prolog، مما قد يسبب بعض الالتباس. ولسوء الحظ، سيتعين استخدام هذا المصطلح بكلا المعنيين في هذه المقالة.



تتكون برامج المنطق التصريحي بالكامل من قواعد من النموذجحيث يمكن قراءة كل قاعدة من هذه القواعد باعتبارها نتيجة ضمنية:











B



1





∧

…

∧



B



n





→

H





{\displaystyle B_{1}\land \ldots \land B_{n}\rightarrow H}





المعنى هو "إذا كان كل حد في جسم القاعدة (Bi) صحيحًا، إذن فإن رأس القاعدة (H) يكون صحيحًا". تقوم برامج البرمجة المنطقية بحساب مجموعة الحقائق التي تستلزمها قواعدها.

تضيف العديد من تطبيقات Datalog و برولوغواللغات ذات الصلة ميزات إجرائية مثل عامل القطع في برولوغ أو ميزات غير منطقية مثل واجهة وظيفة أجنبية. إن الدلالات الرسمية لمثل هذه الامتدادات تقع خارج نطاق هذه المقالة.