Base de Conhecimento
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).
Exemplos de Comandos
Alguns comandos no Prolog para explorar esta base de conhecimento:
1. Quem namora com um namorado que possui algum transporte?
?- namorado(X, Y), possuitransporte(Y, _).
X = jose,
Y = elaine;
X = pedro,
Y = vitoria;
2. Quais as mulheres possuem carro?
?- sexo(X, feminino), possuitransporte(X, Y), tipodetransporte(Y, carro).
X = vitoria,
Y = fusca;
X = marlene,
Y = fiesta;
3. Quem não tem transporte?
?- sexo(X, _), \+ possuitransporte(X, _).
X = pedro;
X = rita.
4. Quem tem carro que custa menos de 20.000 reais?
?- possuitransporte(X, Y), tipodetransporte(Y, carro), custa(Y, C), C < 20000.
X = jose,
Y = palio1,
C = 15000;
X = vitoria,
Y = fusca,
C = 5000;
5. Quem possui transporte mas não é carro?
?- possuitransporte(X, Y), tipodetransporte(Y, Z), Z \= carro.
X = elaine,
Y = falcon,
Z = moto;
X = joao,
Y = monark,
Z = bicicleta;
6. Quem não tem namorado ou namorada?
?- sexo(X, _), \+ namorado(X, _).
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, _).
X = jose,
Y = palio1;
X = tiao,
Y = palio2.