Programowanie logiczne to paradygmat programowania komputerowego, w którym oświadczenia 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ą wyrażane podobnie do reguł, ale bez ciała; na przykład „H jest prawdziwe.”
Niektóre języki programowania logicznego, takie jak Datalog i ASP (Answer Set Programming), są czysto deklaratywne. Pozwalają one na deklaracje tego, co program powinien osiągnąć, bez wyraźnych instrukcji krok po kroku, jak to zrobić. Inne, takie jak Prolog, są połączeniem deklaratywnego i imperatywnego. Mogą również zawierać stwierdzenia proceduralne, takie jak „Aby rozwiązać H, rozwiąż 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 (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-.logic
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- System Maude
- Mercury
- MetaL
- Mozart Programming System
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-.Prolog
- ToonTalk
- Logika transakcyjna
- Twelf
- Visual Prolog
- XSB
Język, Logika, Uczenie maszynowe, Paradygmat, Terminy programistyczne
.