Predicados:
father(X, Y) :-
male(X),
parent(X, Y).mother(X, Y) :-
female(X),
parent(X, Y).brother(X, Y) :-
male(Y),
parent(Z, X),
parent(Z, Y),
\+X=Y.sister(X, Y) :-
female(Y),
parent(Z, X),
parent(Z, Y),
\+X=Y.siblings(X, Y) :-
parent(Z, X),
parent(Z, Y).offspring(X, Y) :-
parent(X, Y).male(ray).
male(luis).
male(dan).
male(john).
male(bill).female(rosa).
female(sue).
female(elaine).
female(ana).parent(al, sue).
parent(luis, elaine).
parent(luis, ray).
parent(ray, ana).
parent(sue, ana).
parent(rosa, ray).
parent(elaine, bill).
Resultados de preguntas formuladas:
?- sister(ray, X).
X = elaine ;
false.?- sister(X, elaine).
X = ray ;
false.?- brother(ray, X).
false.?- brother(elaine, X).
X = ray ;
false.?- offspring(luis, X).
X = elaine ;
X = ray.
Parte #2:
Mike is a mountain-climber who does not ski.
