البرمجة المنطقية (بالإنجليزية: Logical Programming) هي نموذج برمجي يعتمد بشكل كبير على المنطق الرسمي. أي برنامج مكتوب بلغة برمجة منطقية عبارة عن مجموعة من الجمل في شكل منطقي، مُعبرة عن الحقائق والقواعد حول بعض جوانب المشكلة. تشمل عائلات لغة البرمجة المنطقية الرئيسية (Prolog)، وبرمجة (ASP) و(Datalog). في جميع هذه اللغات، تتم كتابة القواعد في شكل بنود مثل:
H :- B1, …, Bn.