Unos ejemplos de prolog (Lenguajes logicos)

Aqui les traigo unos pequeños ejemplos de prolog dividido por sus partes
espero y sea de su agrado empezemos:
En este ejemplo es para saber si una persona puede comprar un auto o no:
respecto si le gusta , tiene oferta y existe:

predicates
puede_comprar_auto(symbol,symbol)
personas(symbol)
auto(symbol)
le_gusta(symbol,symbol)
tiene_oferta(symbol)
clauses
puede_comprar_auto(X,Y):-
personas(X),
auto(Y),
le_gusta(X,Y),
tiene_oferta(Y).
personas(marcos).
personas(luis).
auto(ford).
auto(nissan).
auto(cherrolet).
le_gusta(ana,cherrolet).
le_gusta(luis,ford).
tiene_oferta(nissan).
tiene_oferta(ford).
tiene_oferta(perot).


En este ejemplo tambien es de automoviles, pero solo si se pregunta en el gols es para saber si existe algun vehiculo con tales caracteristicas o color etc, de igual manera que los automiviles o camionetas:

domains
marca,color=symbol
precio,kilometraje=real

predicates
vehiculo(marca,precio,color,kilometraje)
automovil(marca,precio,color,kilometraje)
camioneta(marca,precio,color,kilometraje)

clauses
vehiculo(M,P,C,D):-
automovil(M,P,C,D);
camioneta(M,P,C,D).

automovil(ford,400000,blanco,780000).
automovil(nissan,610000,rojo,30000).
camioneta(chevrolet,70000,negro,50000).