1. Quem namora com um namorado que possui algum transporte?
?- namorado(X, Y), possuitransporte(Y, _).

Resultado: X = jose, Y = elaine ; X = pedro, Y = vitoria ; false.

2. Quais as mulheres possuem carro?
?- sexo(X, feminino), possuitransporte(X, Y), tipodetransporte(Y, carro).

Resultado: X = vitoria, Y = fusca ; X = marlene, Y = fiesta ; false.

3. Quem não tem transporte?
?- sexo(X, _), \+ possuitransporte(X, _).

Resultado: X = pedro ; X = rita.

4.Quem tem carro que custa menos de 20.000 reais?
Quem tem carro que custa menos de 20.000 reais?

Resultado: X = jose, Y = palio1, C = 15000 ; X = vitoria, Y = fusca, C = 5000 ; false.

5.Quem possui transporte mas não é carro?
?- possuitransporte(X, Y), tipodetransporte(Y, Z), Z \= carro.

Resultado: X = elaine, Y = falcon, Z = moto ; X = joao, Y = monark, Z = bicicleta ; false.

6.Quem não tem namorado ou namorada?
?- sexo(X, _), \+ namorado(X, _).

Resultado: X = elaine ; X = vitoria ; X = marlene ; X = joao ; X = rita.

7.Quem tem palio e tem namorada?
?- possuitransporte(X, Y), tipodetransporte(Y, carro), (Y = palio1; Y = palio2), namorado(X, _).

Resultado: X = jose, Y = palio1 ; X = tiao, Y = palio2.

Início

sexo(jose, masculino).
sexo(elaine, feminino).
sexo(vitoria, feminino).
sexo(pedro, masculino).
sexo(marlene, feminino).
sexo(joao, masculino).
sexo(tiao, masculino).
sexo(rita, feminino).
possuitransporte(jose, palio1).
possuitransporte(elaine, falcon).
possuitransporte(vitoria, fusca).
possuitransporte(marlene, fiesta).
possuitransporte(joao, monark).
possuitransporte(tiao, palio2).
tipodetransporte(palio1, carro).
tipodetransporte(palio2, carro).
tipodetransporte(falcon, moto).
tipodetransporte(fusca, carro).
tipodetransporte(fiesta, carro).
tipodetransporte(monark, bicicleta).
custa(palio1, 15000).
custa(palio2, 25000).
custa(falcon, 12000).
custa(fusca, 5000).
custa(fiesta, 29000).
custa(monark, 200).
namorado(jose, elaine).
namorado(pedro, vitoria).
namorado(tiao, rita).