Programação lógica

Atualizada: 06/30/2019 por Computer Hope

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

Deixe uma resposta

O seu endereço de email não será publicado.