Algumas linguagens de programação lógica, como Datalog e ASP (Answer Set Programming), são puramente declarativas - elas permitem declarações sobre o que o programa deve realizar, sem instruções explícitas passo-a-passo sobre como fazê-lo. Outros, como o Prolog, são uma combinação de declarativo e imperativo - eles também podem incluir declarações procedurais como "Solucionar H, resolver B1, B2 e B3".
Idiomas usados para programação lógica
- Absys
- ALF (linguagem de programação funcional da lógica algébrica).
- Depuração do programa algorítmico
- Alice
- Alma-0
- ASP (Programação de Resposta)
- LASCA
- tchau
- CLACL
- CycL
- Registro de dados
- Datomic
- DLV
- Eclipse
- F-logic
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Maude System
- Mercúrio
- Metal
- Sistema de Programação Mozart
- Oz
- Parlog
- Planejador
- PROGOL
- Prolog
- Prolog ++
- Prova
- .QL
- Linguagem de Modelagem Rebeca
- CORDA
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Lógica de transação
- Dupla
- Visual Prolog
- XSB
Linguagem, lógica, paradigma, termos de programação