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

Alternativa B

Fundamentação sobre Fatos em Prolog

Na linguagem de programação lógica Prolog, a estrutura de um fato é definida por uma regra simples e rígida quanto à sintaxe. Um fato representa uma verdade absoluta no conhecimento do sistema e deve seguir três regras principais:

1. Nome do Predicado: Deve começar com letra minúscula.
2. Argumentos: Se forem constantes (nomes específicos), também devem começar com letra minúscula. Se começarem com maiúscula, são tratados como variáveis.
3. Terminador: Toda cláusula (fato ou regra) deve terminar obrigatoriamente com um ponto final (.).

Análise das Alternativas

Vamos verificar cada opção com base nas regras acima:

• Opção A (gosta(Paula, Mario)): Incorreta. Falta o ponto final (.) e os argumentos estão em maiúsculas (o que os torna variáveis, não nomes fixos).
• Opção B (gosta(paula, mario).): Correta. O predicado gosta está em minúsculo, os argumentos paula e mario estão em minúsculo (indicando átomos/constantes) e a sentença termina com ponto.
• Opção C (gosta(Paula, mario)): Incorreta. Falta o ponto final e há uma variável (Paula).
• Opção D (Gosta(Paula, Mario).) e Opção E (Gosta(paula, mario).): Incorretas. O predicado começa com maiúscula (Gosta), o que faz o Prolog interpretá-lo como uma variável, não como um nome de função/predicado definido.

Conclusão

A alternativa B é a única que obedece estritamente à sintaxe padrão para definição de fatos em Prolog, utilizando letras minúsculas para identificadores de dados e terminando a instrução corretamente.