Imagem de fundo

O paradigma lógico de programação é fundamentado na lógica matemática e na definição de...

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.