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ć.
Ptak na godle Polski nie jest orłem – powszechnie przyjęło się, że jest to ptak bielik. A tak naprawdę bielik nie jest orłem. Należy on do rodziny ptaków jastrzębiowatych, jednak do podrodziny orłanów, a nie orłów.