Questão 2930150

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