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:

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?