PERGUNTA 1 A linguagem de programação Prolog tem seu nome formado pelas iniciais de Programming in Logic (Programando em Lógica). Para todos os ef...

PERGUNTA 1 A linguagem de programação Prolog tem seu nome formado pelas iniciais de Programming in Logic (Programando em Lógica). Para todos os efeitos, trata-se de uma linguagem de programação declarativa. O conjunto de declarações que perfazem um programa em Prolog também é denominado banco de dados Prolog. A peculiaridade é que, necessariamente, em um banco de dados Prolog, os itens têm uma de duas formas. Assinale a alternativa que apresenta a descrição correta das duas formas em questão. a. Fatos e regras. b. Opt-in e opt-out. c. Indícios e hipóteses. d. Ações e opções. e. Linhas e colunas. 1,66 pontos PERGUNTA 2 Considere os seguintes fatos em uma base de dados inserida no Prolog maior(São Paulo,Rio de Janeiro) maior(São Paulo,Juiz de Fora) maior(Rio de Janeiro,Curitiba) maior(Rio de Janeiro,Juiz de Fora) maior(Curitiba,Juiz de Fora) capital(São Paulo) capital(Rio de Janeiro) capital(Curitiba) Suponha agora que, a seguir, inserimos a seguinte regra no Prolog metropole(X) <=maior(X,Y) e capital(Y) Assinale a alternativa que corresponde à resposta que o Prolog retornará, à consulta ?metropole(X) a. São Paulo; Rio de Janeiro b. São Paulo; Curitiba c. São Paulo d. Rio de Janeiro; Curitiba e. São Paulo; Rio de Janeiro; Curitiba 1,66 pontos PERGUNTA 3 Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma terna left parenthesis x comma y comma z right parenthesis, em left parenthesis z comma x comma y right parenthesis v italic 1 italic colon italic equals x v italic 2 italic colon italic equals y x italic colon italic equals z y italic colon italic equals v italic 1 z italic colon italic equals v italic 2 Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima linha a seguir: italic left curly bracket x italic equals a italic comma y italic equals b italic comma z italic equals c italic right curly bracket v italic 1 italic colon italic equals x