Programação lógica
A programação lógica é usar a lógica matemática para escrever programas de computador. Existem linguagens de programação especializadas onde o usuário pode entrar diretamente com declarações lógicas. Provavelmente a mais conhecida destas linguagens é chamada Prolog. Alonzo Church usou uma forma de programação lógica no que hoje é conhecido como cálculo lambda. A programação lógica também tem sido usada em LISP.
Os programas consistem em um conjunto de regras e fatos. Na maioria dos casos, a programação lógica usa o que se chama negação como falha ou negação fraca: Isto significa que se não for possível derivar alguma cláusula p {\displaystyle p}
dos fatos e regras, o sistema assumirá que sua negação é verdadeira.
Perguntas e Respostas
P: O que é programação lógica?
R: A programação lógica é uma abordagem à programação que usa a lógica matemática para escrever programas de computador.
P: Quais são algumas linguagens de programação que usam programação lógica?
R: Algumas linguagens de programação que usam programação lógica incluem Prolog e LISP.
P: Qual é o papel das regras e dos fatos na programação lógica?
R: Os programas em programação lógica consistem em um conjunto de regras e fatos.
P: O que é negação como falha na programação lógica?
R: A negação como falha é um conceito na programação lógica em que, se não for possível derivar uma cláusula específica dos fatos e regras, o sistema assumirá que sua negação é verdadeira.
P: O que é negação fraca na programação lógica?
R: A negação fraca é outro termo para negação como falha, que é um conceito da programação lógica.
P: Quem usou uma forma de programação lógica no cálculo lambda?
R: Alonzo Church usou uma forma de programação lógica no que hoje é conhecido como cálculo lambda.
P: Qual é a linguagem de programação mais conhecida que permite aos usuários inserir diretamente declarações lógicas?
R: Prolog é provavelmente a linguagem de programação mais conhecida que permite aos usuários inserir diretamente declarações lógicas.
