Логическое программирование - это парадигма компьютерного программирования, в которой программные утверждения выражают факты и правила о проблемах в системе формальной логики. Правила написаны в виде логических статей с головой и телом; например, «H истинно, если B1, B2 и B3 истинны». Факты выражены аналогично правилам, но без тела; например, «Н это правда».

Некоторые языки логического программирования, такие как Datalog и ASP (Programming Set Programming), являются чисто декларативными - они допускают утверждения о том, что должна выполнить программа, без явных пошаговых инструкций о том, как это сделать. Другие, такие как Prolog, являются комбинацией декларативного и императивного - они могут также включать процедурные заявления, такие как «Решить H, решить B1, B2 и B3».

Языки, используемые для логического программирования

• ABSYS
• ALF (алгебраическая логика, функциональный язык программирования).
• Алгоритмическая отладка программ
• Алиса
• Алма-0
• ASP (программирование набора ответов)
• CHIP
• Чао
• CLACL
• CYCL
• Лог данных
• Datomic
• DLV
• Затмение
• F-логика
• Флора-2
• Fril
• FuzzyCLIPS
• Гедель
• HiLog
• Янус
• ΛProlog
• Logtalk
• Модная система
• Меркурий
• металл
• Система программирования Моцарта
• унция
• Parlog
• планировщик
• PROGOL
• пролог
• Пролог ++
• Prova
• .QL
• Rebeca Modeling Language
• Руп
• SICStus Пролог
• SWI-Prolog
• ToonTalk
• Логика транзакций
• Twelf
• Визуальный Пролог
• XSB

Язык, Логика, Парадигма, Условия программирования