O que é programação lógica?

A programação lógica é um paradigma de programação de computadores no qual as declarações do programa 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 forem verdadeiros". Os fatos são expressos de forma semelhante às regras, mas sem corpo; por exemplo, "H é verdade".

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