Com relação à Linguagem de Programação Prolog, marque a alternativa correta que indica a estrutura de um fato:

Alternativa B

Para identificar a estrutura correta de um fato na linguagem de programação Prolog, é necessário seguir regras estritas de sintaxe relacionadas ao uso de letras e pontuação.

Regras Fundamentais do Prolog

O Prolog possui uma distinção clara entre tipos de termos baseada na capitalização:

• Átomos (Constantes): Nomes de objetos específicos devem começar com letra minúscula (ex: paula, mario).
• Variáveis: Termos que representam incógnitas ou valores genéricos devem começar com letra maiúscula (ex: X, Y, Paula seria tratado como uma variável, não o nome da pessoa).
• Fim da Cláusula: Todo fato ou regra no Prolog deve obrigatoriamente terminar com um ponto final (.).

Análise das Alternativas

Vamos verificar cada opção com base nessas regras:

• A) gosta(Paula, Mario): Incorreta. Faltou o ponto final (.) e os nomes começam em maiúsculo (o interpretador entenderia como variáveis, não como nomes próprios).
• B) gosta(paula, mario).: Correta. O predicado (gosta) está em minúsculo, os argumentos (paula, mario) são átomos em minúsculo e há o ponto final obrigatório.
• C) gosta(Paula, mario): Incorreta. Faltou o ponto final e Paula está em maiúsculo.
• D) Gosta(Paula, Mario).: Incorreta. O predicado começa em maiúsculo (variável) e os argumentos também.
• E) Gosta(paula, mario).: Incorreta. O predicado começa em maiúsculo, o que indica que se trata de uma variável, não de um predicado definido.

Conclusão:

A alternativa B é a única que respeita a convenção de minúsculas para constantes e a terminação obrigatória por ponto final.