Definição - o que significa programação em lógica?
A programação lógica é um tipo de programação de computador que se baseia em regras lógicas formais. Em certo sentido, a programação lógica corresponde ao uso de equações matemáticas e outras construções lógicas para conduzir os resultados da programação.
Definirtec explica a programação lógica
Uma maneira básica de explicar a programação lógica é que normalmente tende a ser listas de regras lógicas usadas para fornecer resultados de programação. Outra ótima maneira de caracterizar a programação lógica é contrastá-la com outros paradigmas que se desenvolveram mais recentemente desde os velhos tempos do BASIC linear e do Fortran.
Uma delas é a programação de funções, onde, em vez de usar listas lógicas, as linguagens de programação utilizam funções modulares para conduzir os resultados da programação. Outra inovação é a programação orientada a objetos, na qual a linguagem de programação de computador ordena suas regras e processos reconhecendo uma série de objetos virtuais.
Na programação orientada a objetos, utilizando classes avançadas com vários atributos, as linguagens de programação basicamente criam muita lógica na arquitetura orientada a objetos. Isso levou algumas pessoas a teorizar sobre como a própria programação lógica está um tanto obsoleta como veículo principal para código compilado.
No entanto, como apontado por outros, a programação lógica ainda está em vigor - ela está apenas alojada em uma estrutura arquitetônica diferente.