O paradigma lógico de programação é fundamentado na lógica matemática e na definição de fatos e regras para a resolução de problemas. Em linguagens como Prolog, qual característica essencial define esse paradigma em contraste com os paradigmas imperativo e funcional?
- A A resolução de problemas por meio de unificação de termos e backtracking, sem especificar passo a passo a sequência de execução.
- B A definição de funções puras com avaliação preguiçosa, permitindo a composição funcional de chamadas recursivas.
- C A manipulação direta de ponteiros e estruturas de memória alocadas dinamicamente.
- D A execução paralela de processos com controle explícito de concorrência baseado em threads.
- E A utilização de laços de repetição e variáveis mutáveis como elementos centrais da lógica de inferência.