Programowanie logiczne to paradygmat programowania komputerowego, w którym wyrażenia programowe wyrażają fakty i reguły dotyczące problemów w ramach systemu logiki formalnej. Reguły są napisane jako klauzule logiczne z głową i ciałem; na przykład „H jest prawdziwe, jeśli B1, B2 i B3 są prawdziwe”. Fakty są podobne do reguł, ale bez ciała; na przykład „prawda jest prawdziwa”.

Niektóre języki programowania logicznego, takie jak Datalog i ASP (Answer Set Programming) są czysto deklaratywne - pozwalają na stwierdzenia, co program powinien osiągnąć, bez wyraźnych instrukcji krok po kroku, jak to zrobić. Inne, takie jak Prolog, są kombinacją deklaratywności i imperatywu - mogą również obejmować stwierdzenia proceduralne, takie jak „Aby rozwiązać H, rozwiązać B1, B2 i B3”.

Języki używane do programowania logicznego

• Absys
• ALF (algebraiczny logiczny język programowania funkcjonalnego).
• Debugowanie programów algorytmicznych
• Alice
• Alma-0
• ASP (programowanie zestawu odpowiedzi)
• ŻETON
• cześć
• CLACL
• CycL
• Datalog
• Datomic
• DLV
• Zaćmienie
• F-logika
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• OlogProlog
• Wyloguj się
• System Maude
• Rtęć
• Metal
• System programowania Mozart
• Oz
• Parlog
• Planista
• PROGOL
• Prolog
• Prolog ++
• Prova
• .QL
• Rebeca Modeling Language
• ROOP
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Logika transakcji
• Dwunastka
• Visual Prolog
• XSB

Język, logika, paradygmat, terminy programowania