O que é programação lógica?
A programação lógica é um tipo de programação de computador em que o programador deve fornecer ao computador instruções 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 qualquer 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 tome 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 está escrevendo o código precisa garantir que suas declarações façam sentido e sejam verdadeiras, portanto, são lógicas, e é necessário um programa de computador conhecido como provador de teoremas para tomar decisões com base nas declarações encontradas nas informações do programador. código.
Um provador de teoremas se refere 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 provador de teoremas trabalha em conjunto com as declarações criadas pelo programador de computador para chegar a conclusões. Por exemplo, se o código declara que A é igual a B e B é igual a C, o provador de teoremas concluirá lógico 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 provador de teoremas e as declarações originais do programador no código.
Em teoria, para que a programação lógica funcione, o programador só precisa garantir que suas declarações estejam corretas e o criador do provador de teoremas deve garantir que o programa possa ler as declarações e tomar as decisões mais eficientes 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 frequentemente precisam alterar e manipular o código com base em como o provador de teoremas trabalha para alcançar os resultados desejados. Simplesmente colocar declarações precisas sobre como tomar uma determinada decisão pode não ser suficiente para que o computador execute a função correta, e o programador terá que testar seu código e fazer os ajustes necessários.
Para que a programação lógica funcione, ela também se baseia no raciocínio reverso. No raciocínio retrospectivo, o programa chega a conclusões analisando um conjunto de dados e trabalhando a partir de declarações conhecidas 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. Ele continua esse processo até chegar a 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 diz ao computador o que deve fazer, mas deixa ao critério do provador de teoremas determinar a maneira mais lógica ou eficiente de executar o procedimento solicitado.