Логическото програмиране е парадигма за компютърно програмиране, в която програмните изявления изразяват факти и правила за проблеми в рамките на система от формална логика. Правилата са написани като логически клаузи с глава и тяло; например, "H е вярно, ако B1, B2 и B3 са верни." Фактите са изразени подобно на правилата, но без орган; например, "H е вярно."

Някои езици за логическо програмиране като Datalog и ASP (Answer Set Programming) са чисто декларативни - те позволяват изявления за това какво трябва да изпълни програмата, без изрични инструкции стъпка по стъпка за това. Други, като Пролог, са комбинация от декларативни и императивни - те могат също така да включват процедурни изявления като "Да решим Н, да решим В1, В2 и В3".

Езици, използвани за логическо програмиране

• Absys
• ALF (алгебричен логически функционален език за програмиране).
• Алгоритмична програма за отстраняване на грешки
• Алис
• Алма-0
• ASP (програмиране на набора отговори)
• CHIP
• Ciao
• CLACL
• Cycl
• DATALOG
• Datomic
• ДЛВ
• Затъмнение
• F-логика
• Флора-2
• Fril
• FuzzyCLIPS
• Гьодел
• HiLog
• Янус
• ΛProlog
• Logtalk
• Система Maude
• живак
• метал
• Система за програмиране на Моцарт
• Оз
• Parlog
• плановик
• PROGOL
• Prolog
• Prolog ++
• Prova
• .QL
• Език за моделиране на Ребека
• Roop
• SICStus Пролог
• СВИ-Prolog
• ToonTalk
• Логика на транзакциите
• Twelf
• Визуален Пролог
• XSB

Език, логика, парадигма, програмни термини