البرمجة المنطقية هي شكل من أشكال البرمجة التي تعتمد على الاستدلال المنطقي الذي يستخدم أسلوبًا تعريفيًا لوصف المشكلات ومجموعة من القواعد للوصول إلى الحلول بشكل استنتاجي. غالبًا ما يتم استخدامه لأتمتة مهام حل المشكلات المعقدة، وهو مفيد بشكل خاص لتمثيل المعرفة والاستدلال والحساب الرمزي وتطبيقات الاستدلال الآلي.
تعتمد البرمجة المنطقية على فكرة أنه يمكن استخدام مجموعات من الحقائق والقواعد والعلاقات لوصف المشكلات وحلها. باستخدام نموذج البرمجة التعريفية، تتم كتابة هذه المفاهيم بلغة رسمية والتي تدفع بعد ذلك عملية العثور على إجابات للأسئلة المطروحة بنفس اللغة. يمكن بعد ذلك استخدام هذه الإجابات لاتخاذ القرارات أو بناء النماذج أو تنفيذ إجراءات أخرى.
تتضمن بعض لغات البرمجة المنطقية الأكثر استخدامًا Prolog وCommon Lisp وRacket. Prolog هي لغة المنطق الأكثر شيوعًا وغالبًا ما تستخدم كلغة تمهيدية لأنها تتمتع بالقدرة على الكتابة بإيجاز وسهلة الفهم نسبيًا. تعتبر Lisp وRacket الشائعة أكثر قوة وتوفر مرونة أكبر في حل المشكلات. تُستخدم اللغات الثلاث عادةً جنبًا إلى جنب مع لغات البرمجة أو لغات النمذجة الأخرى مثل Java أو C++، مما يسمح للمبرمج بالجمع بين الأساليب المختلفة لحل مشكلة معينة.
بالإضافة إلى مهام البرمجة، يتم استخدام البرمجة المنطقية أيضًا للمساعدة في أتمتة عمليات اتخاذ القرار أو تقديم تفسيرات للقرارات التي تتخذها أجهزة الكمبيوتر. ويشار إلى هذا باسم التسلسل الأمامي، حيث يتم إجراء الاستنتاجات المنطقية من مجموعة من الحقائق والقواعد. التسلسل الخلفي هو أسلوب تكميلي يعمل من خلال البدء بالأهداف وفحص الحقائق لتحديد ما إذا كانت الأهداف قابلة للتحقيق.
تعد البرمجة المنطقية أداة قوية في أبحاث الذكاء الاصطناعي، وقد مكنت الآلات من التفكير كما يفعل البشر. بالإضافة إلى ذلك، تم استخدامه أيضًا في هندسة البرمجيات، وفي أنظمة القرار الآلية في الطب، والمالية، ومجالات أخرى.
