Mantıksal programlama, bilgisayar programları yazmak için matematiksel mantığı kullanmaktır. Kullanıcının doğrudan mantıksal ifadeler girebileceği özel programlama dilleri vardır. Muhtemelen bu dillerin en iyi bilineni Prolog olarak adlandırılır. Alonzo Church, bugün lambda kalkülüsü olarak bilinen bir mantık programlama biçimi kullanmıştır. Mantıksal programlama LISP'de de kullanılmıştır.
Programlar bir dizi kural ve olgudan oluşur. Çoğu durumda, mantık programlama başarısızlık olarak olumsuzlama veya zayıf olumsuzlama olarak adlandırılan şeyi kullanır: Bu, gerçeklerden ve kurallardan bir p {\displaystyle p}
cümlesini türetmek mümkün değilse, sistemin bunun olumsuzlamasının doğru olduğunu varsayacağı anlamına gelir.