Mantık programlama paradigması, programların önermeler mantığı benzeri biçimsel mantık önermeleriyle yazıldığı bir çerçeve sunar. En bilinen örnekleri Prolog ve Datalog'dur.
En temelde kullanılan önermeler Horn cümleleri denilen, "Eğer p1 ve p2 ve ⋯ ve pn doğru ise q doğrudur" şeklindeki önermelerdir. Bu tip önermeler pek çok uygulama için yeterli olmadığından olumsuz (negative) koşulları da içerecek şekilde zenginleştirilirler, "Eğer p1 doğruysa ve p2 yanlışsa q doğrudur" gibi.
Mantıksal önermelere ayrıca bir kontrol bölümü de eşlik edebilir. Kontrol, mantıksal deklerasyona uyan nesneleri bulmak için uygulanacak stratejiyi tanımlar. Mantık programlamayı bir planlama problemini çözmek için kullanacak olursak, mantıksal önermelerle aradığımız planın sağlaması gereken koşulları tanımlarız, kontrol bölümü ile de çözüme ulaşmak için kullanılacak yöntemi. Böylece çözümü rastgele arama (random search) ile bulmaktan daha hızlı bir algoritma bulma şansımız olur.
Yapay zekanın mantıksal çıkarımların biraraya getirilmesi ile geliştirilebileceği fikrinin baskın olduğu yıllarda (1970'ler) önem kazanmış, istatiksel öğrenmenin kazandığı başarılarla son yıllarda az kullanılan bir araca dönüşmüştür.