Carregando...
Carregando...
Ajude a melhorar a plataforma
Em um workshop voltado para o ensino de programação lógica, a linguagem Prolog é o foco central da apresentação, onde suas características distintas são ressaltadas, especialmente sua abordagem declarativa contrastando com linguagens procedimentais conhecidas, como C++ e Java. O palestrante realça que em Prolog, diferentemente de especificar um algoritmo passo a passo, o programador declara fatos e regras, deixando o sistema deduzir soluções possíveis com base nessas informações. Além disso, é enfatizado que a regra de resolução é a única utilizada para inferência em Prolog e que todas as regras são tratadas sob quantificação universal.
Com essas informações em mente, qual das seguintes alternativas sobre Prolog é correta?
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
🎓 Gabarito Comentado (AVA):
A alternativa "A regra de resolução em Prolog mescla cláusulas de Horn e trata variáveis como universais, capazes de representar qualquer constante" é correta, porque no Prolog, a regra de resolução é um mecanismo de inferência que combina cláusulas de Horn — um tipo específico de cláusula que tem no máximo uma conclusão positiva — para deduzir novos fatos. As variáveis em Prolog são tratadas como entidades lógicas que podem assumir o valor de qualquer constante dentro de um contexto de consulta, permitindo assim generalizações e resoluções lógicas mais abstratas. Isso faz parte do paradigma de programação lógica do Prolog, onde se declaram fatos e regras, e a própria linguagem busca soluções que satisfaçam essas declarações.
A alternativa "Prolog é uma linguagem procedimental onde o programador deve detalhar cada etapa algorítmica para alcançar a solução desejada" é incorreta, porque Prolog é uma linguagem declarativa, não procedimental, onde o programador declara fatos e regras, e o sistema deduz as soluções possíveis sem que seja necessário especificar o algoritmo passo a passo.
A alternativa "Prolog opera com uma série de regras de inferência pré-estabelecidas para derivar soluções a partir de fatos que são explicitamente declarados como hipóteses" é incorreta, porque Prolog utiliza apenas a regra de resolução como sua regra de inferência, não um conjunto de regras pré-estabelecidas.
A alternativa "Prolog é restritivo ao responder consultas, permitindo apenas aquelas que tratam de fatos concretos pré-estabelecidos e não aceita variáveis em suas perguntas" é incorreta, porque Prolog permite consultas com variáveis, que são fundamentais para sua capacidade de generalização e resolução de problemas.
A alternativa "Na programação Prolog, é necessário que o programador defina quantificadores universais explicitamente para cada regra que é inserida no sistema" é incorreta, porque Prolog trata todas as regras como se estivessem universalmente quantificadas por padrão, sem necessidade de definição explícita de quantificadores pelo programador.
