Programação lógica é um paradigma de programação de computadores onde as declarações de programas expressam fatos e regras sobre problemas dentro de um sistema de lógica formal. As regras são escritas como cláusulas lógicas com uma cabeça e um corpo; por exemplo, “H é verdadeiro se B1, B2, e B3 são verdadeiros”. Os fatos são expressos de forma similar às regras, mas sem um corpo; por exemplo, “H é verdadeiro”
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. Outras, como o Prolog, são uma combinação de declarativo e imperativo. Podem também incluir declarações de procedimento, tais como “Para resolver H, resolver B1, B2, e B3”
Línguas usadas para programação lógica
- Absys
- ALF (linguagem de programação funcional lógica algébrica).
- Algoritmo da depuração de programas
- Alice
- Alma-0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-lógica
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Sistema de maudes
- Mercúrio
- MetaL
- Sistema de programação Mozart
- Oz
- Parlog
- Planner
- PROGOL
- Prologia
- Prologia++
- Prova
- .QL
- Linguagem de Modelagem Rebeca
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Lógica de transação
- Twelf
- Prolog visual
- XSB
>
>
>
>
>
Linguagem, Lógica, Aprendizagem de máquina, Paradigma, Termos de programação