O que é Logic programming?


0

Este artigo irá explicar o que é Logic programming e como usar Logic programming.

Programação lógica

A programação lógica é um paradigma de programação de computador em que 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 a regras, mas sem um corpo; por exemplo, “H é verdade”.

Algumas linguagens de programação lógica, como Datalog e ASP (Answer Set Programming), são puramente declarativas. Eles permitem declarações sobre o que o programa deve realizar, sem instruções explícitas passo a passo sobre como fazê-lo. Outros, como Prolog, são uma combinação de declarativo e imperativo. Eles também podem incluir instruções procedimentais, como “Para resolver H, resolva B1, B2 e B3.”

Linguagens usadas para programação lógica

  • Absys
  • ALF (linguagem de programação funcional lógica algébrica).
  • Depuração de programa algorítmica
  • Alice
  • Alma-0
  • ASP (Programação de conjunto de respostas)

  • LASCA
  • tchau
  • CLACL
  • CycL
  • Registro de dados
  • Datomic
  • DLV
  • Eclipse
  • Lógica F
  • Flora-2
  • Fril
  • FuzzyCLIPS
  • Gödel
  • HiLog
  • Janus
  • ΛProlog
  • Logtalk
  • Sistema Maude
  • Mercúrio
  • Metal
  • Sistema de Programação Mozart
  • Onça
  • Parlog
  • Planejador
  • PROGOL
  • Prolog
  • Prolog ++
  • Prova
  • .QL
  • Linguagem de modelagem Rebeca
  • CORDA
  • SICStus Prolog
  • SWI-Prolog
  • ToonTalk
  • Lógica de transação
  • Twelf
  • Visual Prolog
  • XSB

Like it? Share with your friends!

0

What's Your Reaction?

hate hate
0
hate
confused confused
0
confused
fail fail
0
fail
fun fun
0
fun
geeky geeky
0
geeky
love love
0
love
lol lol
0
lol
omg omg
0
omg
win win
0
win
Rubem Rego

0 Comments

Your email address will not be published. Required fields are marked *

Choose A Format
Personality quiz
Series of questions that intends to reveal something about the personality
Trivia quiz
Series of questions with right and wrong answers that intends to check knowledge
Poll
Voting to make decisions or determine opinions
Story
Formatted Text with Embeds and Visuals
List
The Classic Internet Listicles
Countdown
The Classic Internet Countdowns
Open List
Submit your own item and vote up for the best submission
Ranked List
Upvote or downvote to decide the best list item
Meme
Upload your own images to make custom memes
Video
Youtube, Vimeo or Vine Embeds
Audio
Soundcloud or Mixcloud Embeds
Image
Photo or GIF
Gif
GIF format