ENADE 2021 - QUESTÃO 20 O paradigma de programação em lógica constitui-se como um processo de definição de relações em que se constroem fato...
ENADE 2021 - QUESTÃO 20
O paradigma de programação em lógica constitui-se como um processo de definição de relações em que se constroem fatos e regras sobre os elementos e suas relações. A ativação dos programas acontece por meio de consultas (ou perguntas) sobre o relacionamento definido. Ao construir-se um banco de dados referente a uma família, inicia-se pelas relações de parentesco, tais como:
pai(joão,maria) convencionado que joão é pai de maria
mãe(maria,luiz) convencionado que maria é mãe de luiz
As cláusulas, sem condições, definem os fatos sobre o domínio do problema. De outra maneira, é possível definir as regras que são cláusulas com condições:
avô_materno(joão,luiz):-pai(joão,maria), mãe(maria,luiz)
Nesse contexto, avalie as afirmações a seguir.
I. A consulta mãe(maria, X) retorna verdadeiro conforme identificado na cláusula.
II. A conclusão joão é avô materno de luiz é identificada como cabeça da cláusula.
III. A regra irmão(X,Y):-pai(Z, X), pai(Z, Y) é uma regra genérica que define irmãos por parte de pai.
IV. A regra avo_materno(X,Y):-pai(Z,X), mae(Y,Z) é uma regra genérica para o programa.
É correto apenas o que se afirma em
A) I e II.
B) II e III.
C) III e IV.
D) I, II e IV.
E) I, III e IV.
QUESTÃO ANTERIOR:
GABARITO:
B) II e III.
RESOLUÇÃO:
Não temos resolução para essa questão! Você sabe explicar? Copie o link dessa página e envie sua resolução clicando AQUI!
PRÓXIMA QUESTÃO:
QUESTÃO DISPONÍVEL EM:
