As linguagens de programação lógica, como o Prolog, têm grande embasamento na lógica matemática, fazendo uso de símbolos na declaração pela lógica de predicados. Assinale a alternativa correta acerca de algumas características da programação lógica:

Na programação lógica (ex.: Prolog), o programa é composto por fatos e regras (cláusulas) expressos em lógica de predicados, e a execução ocorre por inferência (unificação + retrocesso/backtracking). Isso caracteriza fortemente um processamento simbólico (manipulação de símbolos/termos e relações), e não um foco em procedimentos numéricos ou passo a passo típicos de linguagens imperativas.

Além disso, como o conhecimento fica declarado em uma base de fatos/regras, é comum que o sistema seja mais fácil de modificar: pode-se acrescentar/alterar regras e fatos sem necessariamente reestruturar todo um algoritmo de controle (em comparação com abordagens puramente procedurais).

Analisando as alternativas:

• (a) Correta: programação lógica é simbólica e tende a permitir modificação relativamente simples via edição/adição de regras e fatos.
• (b) Incorreta: embora exista um mecanismo de busca/inferência, o paradigma não é caracterizado como “soluções algorítmicas” no sentido clássico (procedural), e sim declarativo.
• (c) Incorreta: “difícil modificação” contraria a característica declarativa; “respostas parcialmente corretas” não é uma propriedade típica.
• (d) Incorreta: “heurísticas” não são intrínsecas ao paradigma (podem existir, mas não definem a programação lógica).
• (e) Embora haja relação entre conhecimento e consulta, a formulação “estruturas de controle e de conhecimento integradas” não é a característica mais padrão/definidora; a marca principal é o processamento simbólico declarativo.

Alternativa correta: (a).