البرمجة المنطقية المتزامنة

البرمجة المنطقية المتزامنة هي نوع من أنواع البرمجة المنطقية المصممة للحوسبة المتوازية ، حيث تكون البرامج عبارة عن مجموعات من عبارات هورن المحمية بالشكل التالي:

H  :- G ₁ , …, G _n | B ₁ , …, B _n .

يُطلق على الرابط G ₁ , … , G _n اسم حارس العبارة، و | هو عامل الالتزام.

من الناحية التصريحية، تُقرأ عبارات هورن المحمية على أنها استدلالات منطقية عادية:

H إذا كان G ₁ و … و G _n و B ₁ و … و B _n .

مع ذلك، من الناحية الإجرائية، عندما تتطابق عدة بنود مع هدف معين، تُنفَّذ جميع البنود بالتوازي ، مع التحقق من تحقق شروطها G1 ، ...، Gn _. إذا تحققت شروط أكثر من بند، يُختار أحد البنود، ويستمر التنفيذ مع الأهداف الفرعية _{B1 ،} ...، Bn _للبند المُختار. يمكن أيضًا تنفيذ هذه الأهداف الفرعية بالتوازي. وهكذا، تُطبِّق البرمجة المنطقية المتزامنة شكلاً من أشكال "عدم الحتمية غير المُبالية"، بدلاً من "عدم الحتمية غير المعروفة" .

كانت لغة البرمجة المنطقية المتزامنة الأولى هي لغة العلاقات التي ابتكرها كيث إل. كلارك وستيف غريغوري، والتي كانت فرعًا من لغة IC-Prolog . ومن بين الإصدارات اللاحقة للبرمجة المنطقية المتزامنة لغة Concurrent Prolog التي ابتكرها إيهود شابيرو ولغة Guarded Horn Clause التي ابتكرها أويدا.

تلقى تطوير البرمجة المنطقية المتزامنة دفعة قوية عندما استُخدمت عبارة هورن المحمية لتنفيذ لغة KL1 ، وهي لغة برمجة الأنظمة الخاصة بمشروع الجيل الخامس الياباني (FGCS) . كان مشروع FGCS مبادرة بقيمة 400 مليون دولار أمريكي أطلقتها وزارة التجارة الدولية والصناعة اليابانية عام 1982، بهدف استخدام الحوسبة /المعالجة المتوازية الضخمة لتطبيقات الذكاء الاصطناعي . وقد تأثر اختيار البرمجة المنطقية المتزامنة باعتبارها "الحلقة المفقودة" بين الأجهزة والتطبيقات بزيارة قام بها إيهود شابيرو، مخترع لغة برولوج المتزامنة ، إلى مشروع FGCS عام 1982 .

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

• كلارك، كيث ليونارد ؛ غريغوري، ستيف (1981). لغة علائقية للبرمجة المتوازية . وقائع مؤتمر عام 1981 حول لغات البرمجة الوظيفية وهندسة الحاسوب. رابطة آلات الحوسبة . الصفحات 171-178 .