o que logica de programação

Lógica de programação é o modo como se escreve um programa de computador, um algoritmo. Um algoritmo é uma sequência de passos para se executar uma função. Um exemplo de algoritmo, fora da computação, é uma receita de bolo.

https://www.infoescola.com/informatica/logica-de-programacao/

Lógica de programação é a implementação de um algoritmo em uma linguagem de programação

A leitura declarativa de programas lógicos pode ser usada por um programador para verificar sua exatidão. Além disso, técnicas de transformação de programas baseadas em lógica também podem ser usadas para transformar programas lógicos em programas logicamente equivalentes que são mais eficientes.

Na família de linguagens de programação lógica Prolog, o programador também pode usar o comportamento conhecido de resolução de problemas do mecanismo de execução para melhorar a eficiência dos programas.