A resposta correta é a letra "b. São Paulo". Ao fazer a consulta ?metropole(X), o Prolog irá procurar por todas as cidades X que são metrópoles, ou seja, que são maiores que uma capital Y. De acordo com a regra inserida, uma cidade X é uma metrópole se ela é maior que uma capital Y. A única capital presente na base de dados é São Paulo, e as únicas cidades que são maiores que São Paulo são Rio de Janeiro e Juiz de Fora. No entanto, apenas Rio de Janeiro é uma capital, então a única cidade que satisfaz a regra é São Paulo. Portanto, a resposta é "b. São Paulo".
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar