Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) jest odmianą programowania deklaratywnego metoda programowania, w której program podawany jest jako pewien zestaw zależności, a obliczenia są dowodem pewnego twierdzenia w oparciu o te zależności.
Na program składa się zbiór zależności (przesłanki) i pewne stwierdzenie (cel)
Wykonanie programu to próba udowodnienia celu w oparciu o podane przesłanki.
Obliczenia wykonywane są niejako „przy okazji” dowodzenia celu.
Podobnie jak w programowaniu funkcyjnym, nie „wydajemy rozkazów”, a jedynie opisujemy, co wiemy i co chcemy uzyskać.
