برمجة منطقية

البرمجة المنطقية (بالإنجليزية: Logic programming) هي بمفهومها العام استعمال المنطق الرياضي من أجل برمجة الحاسوب. ويستعمل المنطق لغة تصريحية للتعبير عن المشكلة. خلاف الكثير من لغات البرمجة التقليدية فإن المبرمج في البرمجة المنطقية لا يقوم بحل المشكلة بشكل كامل، وانما يقع على عاتقه مسؤولية جزئية في حل المشكلة، وهي بتمثيل القضايا والمعارف بصفة منطقية (logical form)، ويقع الجزء الآخر لحل المشكلة على ما يدعى بمبرهن القضايا (theorem-prover) أو مولد النماذج (model-generator) الذي يقوم بحل المشكلة بشكل فعال.

_


إنتقآء شدني كثيراً
فـ سلمت على ذوقك الرفيع
ولك كل الود والإحترآم

سلمت كفوفك ..
لطيب الجهد وَ تمُيز العطاء
لاحرمنا الله روائِع مجهوداتك
لقلبك الفرح.

سلمت يداك على روعة الطرح
وسلم لنا ذوقك الراقي على جمال الاختيار ..
لك ولحضورك الجميل كل الشكر والتقدير

-










مُتصفح بمحتوى جَميل
كلّ الشكر للجهد وَ العطَاء ..
لرُّوحك الوَرد .

يسلمو على الطرح الرائع
يسعدك ربي