Loģiskā programmēšana ir datorprogrammēšanas paradigma, kurā programmas paziņojumi izsaka faktus un noteikumus par problēmām formālās loģikas sistēmā. Noteikumi ir rakstīti kā loģiski noteikumi ar galvu un ķermeni; piemēram, "H ir taisnība, ja B1, B2 un B3 ir patiesas." Fakti ir izteikti līdzīgi noteikumiem, bet bez ķermeņa; piemēram, "H ir taisnība".

Dažas loģiskās programmēšanas valodas, piemēram, Datalog un ASP (Atbildes iestatīšanas programmēšana), ir tikai deklaratīvas - tās ļauj izteikt paziņojumus par to, kas programmai būtu jāveic, bez skaidras soli pa solim, kā to izdarīt. Citi, piemēram, Prolog, ir deklaratīvas un obligātas kombinācijas - tie var ietvert arī procesuālus paziņojumus, piemēram, "Lai atrisinātu H, atrisinātu B1, B2 un B3."

Loģiskās programmēšanas valodas

• Absys
• ALF (algebriskā loģiskā funkcionālā programmēšanas valoda).
• Algoritmiskās programmas atkļūdošana
• Alise
• Alma-0
• ASP (atbildes iestatīšanas programmēšana)
• CHIP
• Ciao
• CLACL
• CycL
• Datalog
• Datomiskais
• DLV
• ECLiPSe
• F-loģika
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• OlogProlog
• Logtalk
• Maude sistēma
• Dzīvsudrabs
• MetaL
• Mocarta programmēšanas sistēma
• Oz
• Parlog
• Plānotājs
• PROGOL
• Prolog
• Prolog ++
• Prova
• .QL
• Rebeca modelēšanas valoda
• ROOP
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Darījuma loģika
• Twelf
• Visual Prolog
• XSB

Valoda, loģika, paradigma, programmēšanas noteikumi