% Lecture slide 4
male(albert).
female(alice).
male(edward).
female(victoria).
parent(albert,edward).
parent(victoria,edward).
parent(albert,alice).
parent(victoria,alice).
married(victoria,albert).

% Lecture slide 13
sibling(X,Y) :- parent(P,X), parent(P,Y), \+(X=Y).