A Lógica de Predicados e o Prolog

Na lógica de Predicados observamos diferenças em relação à Lógica Proposicional. Qual seria esta diferença?

• Na lógica de Predicados não temos o operador de Negação.

• A diferença está apenas na presença do quantificador existencial.

• A diferença está na existência de variáveis e constantes.

• A diferença está na existência de quantificadores, variáveis e constantes.

Qual melhor representação para a frase: O user BOB prefere desenvolver para front-end

• prefere(bob, front-end)

• desenvolve(bob, front-end)

• user(bob) ^ prefere_desenvolver(bob,front-end)

• Não é possível representar.

Qual a melhor representação de: Nem todo mamífero voa

Em Prolog, quando desejo representar informações diretas sobre um problema...

• utilizo os fatos.

• utilizo apenas as regras.

• realizamos uma consulta

• Não é possível representar informações diretas.

Qual consulta retorna a pessoa e o que ele coleciona, se a pessoa for estudante?

coleciona(pedro,moedas).

coleciona(ana,revistas).

coleciona(bob,figurinhas).

coleciona(rita,carros).

estudante(ana).

estudante(bob).

docente(pedro).

docente(rita).

• ?- coleciona(nome, objeto), estudante(nome).

• ?- coleciona(Pessoa, objeto), estudante(Pessoa)

• ?- coleciona(Pesssoa, Objeto), docente(Pessoa)

• ?- coleciona(Pessoa, Objeto), estudante(Pessoa).

Qual a melhor regra para definir a relação de primo entre duas pessoas?

• primo(x,y):- pai(x,z), pai(z,y),irmão(x,z).

• primo(X,Y):- pai(X,Z), pai(Z,Y),irmão(X,Z).

• primo(X,Y):- pai(Z,X), pai(Z,Y),irmão(Y,X).

• primo(X,Y):- pai(Z,X), pai(W,Y),irmão(W,Z).

Quais elementos da lógica de predicados apresentam aridade?

• Predicados e quantificadores

• Predicados e funções

• Funções e variáveis

• Constantes e variáveis

Para o programa em prolog qual o resultado da consulta que será verdadeiro:

equals(X,X).

• ?-equals(1,0).

• ?-equals(2,2).

• ?-equals(1,2).

• ?-equals(a,a).

Sobre a afirmação: Quando é utilizada uma variável anônima em Prolog, o ambiente tenta resolver o item porém não guarda seu valor.

• Falsa

• Verdadeira