O que é programação lógica?
A programação lógica é um tipo de programação de computador na qual o programador deve fornecer as instruções do computador sobre como tomar decisões usando a lógica matemática, como o uso de um algoritmo matemático. Os programas de computador são compostos de código que informa ao computador o que fazer. Eventualmente, no entanto, o computador se deparará com uma instância em que deve tomar uma decisão sobre como proceder e, sem nenhuma informação sobre como fazer isso, não poderá concluir sua função atual. A programação lógica lida com esses tipos de decisões e fornece instruções ao computador para que ele possa tomar uma decisão "lógica" sobre a melhor forma de responder a uma determinada situação. Para que a programação lógica funcione, o programador que escreve o código precisa garantir que suas declarações façam sentido e sejam verdadeiras, portanto, são lógicas, e um programa de computador conhecido como um provenção do teorema é necessário para tomar decisões com base nas declarações que encontra no código do programador.
Um teorema-prover refere-se a um programa de computador que foi projetado para resolver declarações matemáticas conhecidas como teoremas. Teoremas são declarações que se mostram verdadeiras com base em declarações anteriores. Na programação lógica, o teorema-prover trabalha em conjunto com as declarações criadas pelo programador de computador para chegar a conclusões. Por exemplo, se o código afirmar que A é igual a B e B é igual a C, o teorema-prover fará com que a conclusão lógica de que A deve ser igual a C. Esse processo é diferente do programador simplesmente dizendo ao computador no código que A é igual a C porque o programa de computador deve tirar essa conclusão usando o teorema-prover e as declarações originais do programador no código.
Em teoria, para que a programação lógica funcione, o programador precisa apenas garantir que suas declarações estejam corretas e o criador do teorema-propverDecisões de fácitos com base nelas. A capacidade de tomar uma decisão eficiente é referida como um computador funcionando "logicamente". Na realidade, os dois campos de trabalho se sobrepõem, e aqueles que realizam programação lógica geralmente precisam mudar e manipular o código com base em como o teorema-prover funciona para alcançar os resultados que desejam. Simplesmente colocar declarações precisas sobre como tomar uma certa decisão pode não ser suficiente para fazer com que o computador execute a função correta, e o programador terá que testar seu código e fazer ajustes de acordo.
Para que a programação lógica funcione, ela também se baseia no raciocínio atrasado. No raciocínio atrasado, o programa chega a conclusões analisando um conjunto de dados e trabalhando com declarações gerais gerais para chegar a conclusões mais avançadas. O programa pode saber que duas informações são verdadeiras e inferirá que, como essas duas informações são verdadeiras, isso significa que uma terceira informação também é verdadeira. É coNTINIES esse processo até atingir uma conclusão lógica com base nas informações fornecidas. Devido à maneira como funciona, a programação lógica é construída na linguagem de representação declarativa, o que significa que o programa informa ao computador o que deve fazer, mas deixa o teorema-propulsor para determinar a maneira mais lógica ou eficiente de executar o procedimento solicitado.