Logičko programiranje je paradigma računalnog programiranja u kojoj izjave programa izražavaju činjenice i pravila o problemima unutar sustava formalne logike. Pravila se pišu kao logičke klauzule s glavom i tijelom; na primjer, "H je istinito ako su B1, B2 i B3 istiniti." Činjenice su izražene slično pravilima, ali bez tijela; na primjer, "H je istina."

Neki logički programski jezici kao što su Datalog i ASP (programiranje skupova odgovora) su isključivo deklarativni - dopuštaju izjave o tome što bi program trebao postići, bez izričitih korak po korak upute o tome kako to učiniti. Drugi, kao što je Prolog, su kombinacija deklarativnog i imperativnog - oni također mogu uključivati ​​proceduralne izjave poput "Za rješavanje H, riješiti B1, B2 i B3".

Jezici koji se koriste za logičko programiranje

• Absys
• ALF (algebarski logički funkcionalni programski jezik).
• Algoritamski program za ispravljanje pogrešaka
• Alice
• Alma-0
• ASP (programiranje skupa odgovora)
• ČIP
• ciao
• CLACL
• Adv.Cycl
• Datalog
• Datomic
• DLV
• Zasjeniti
• F-logika
• Flora 2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• ΛProlog
• Logtalk
• Maude sustav
• Merkur
• Metal
• Mozartov sustav programiranja
• oz
• Parlog
• projektant
• PROGOL
• Prolog
• Prolog ++
• Prova
• .QL
• Jezik oblikovanja Rebece
• Roop
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Logika transakcije
• Twelf
• Vizualni prolog
• xsb

Jezik, logika, paradigma, programski izrazi