A logikai programozás olyan számítógépes programozási paradigma, amelyben a program-nyilatkozatok a formális logika rendszerén belül a tényeket és szabályokat fejezik ki. A szabályokat logikai záradékként írják a fej és a test között; például "H igaz, ha B1, B2 és B3 igazak." A tények hasonlóak a szabályokhoz, de test nélkül; például "H igaz."

Egyes logikai programozási nyelvek, mint például a Datalog és az ASP (válaszkészlet programozás) tisztán deklaratívak - lehetővé teszik, hogy nyilatkozatokat tegyenek arról, hogy mit kell megvalósítani a programnak, és nincsenek kifejezett lépésről-lépésre vonatkozó utasítások. Mások, mint például a Prolog, a deklaratív és a kényszerítő kombinációból állnak - ezek tartalmazhatnak olyan eljárási nyilatkozatokat is, mint a "H megoldása, B1, B2 és B3 megoldása."

A logikai programozáshoz használt nyelvek

• ABSYS
• ALF (algebrai logikai funkcionális programozási nyelv).
• Algoritmikus program hibakeresés
• Alice
• Alma-0
• ASP (válaszkészlet programozása)
• CHIP
• Szia
• CLACL
• Ciki
• Adat napló
• Datomic
• DLV
• Fogyatkozás
• F-logika
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• ΛProlog
• Logtalk
• Maude rendszer
• Higany
• Fém
• Mozart programozási rendszer
• oz
• Parlog
• Tervező
• PROGOL
• Bevezető
• Prolog ++
• prova
• .QL
• Rebeca modellezési nyelv
• Roop
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Tranzakciós logika
• Twelf
• Visual Prolog
• xsb

Nyelv, logika, paradigma, programozási feltételek