Question

Considere um interpretador Prolog onde o mecanismo de resolução SLD implementado utiliza: - Estratégia de busca: em profundidade com backtracking - Regra de computação: literal mais à esquerda é avaliado primeiro Considere ainda o seguinte programa escrito em Prolog:

Figura da questão (imagem do caderno de prova)

Considere também duas consultas submetidas ao interpretador Prolog com as características descritas acima: Q1: ?- parecidos(X,caravan). Q2: ?- parecidos(caravan,X). Nessas condições, qual das alternativas abaixo contém apenas afirmações verdadeiras?

Accepted Answer

E) Tanto Q1 como Q2 geram a resposta "false.". No entanto, Q2 encontra a resposta em menos passos do que Q1.

Answer

A) Ocorre um erro (exceção) durante a execução, tanto de Q1 como Q2.

Answer

B) Tanto Q1 como Q2 geram a resposta "X=monza;X=caravan.". No entanto, Q1 encontra a resposta em menos passos do que Q2.

Answer

C) Tanto Q1 como Q2 geram a resposta "X=monza.". Ambas as consultas encontram a resposta com o mesmo número de passos.

Answer

D) Ocorre um erro (exceção) durante a execução de Q1. Q2 gera a resposta "false.".

Mais questões de Paradigmas e linguagens de programação