Questão de Tecnologia da Informação

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