father_of(joe, paul).
father_of(joe, mary).
father_of(joe, hope).
mother_of(jane, paul).
mother_of(jane, mary).
mother_of(jane, hope).
male(paul).
male(joe).
male(ralph).
male(X):-father_of(X, Y).
female(mary).
female(jane).
female(hope).
female(X):-mother_of(X, Y).
son_of(X, Y) :- father_of(Y, X), male(X).
son_of(X, Y) :- mother_of(Y, X), male(X).
daughter_of(X, Y) :- father_of(Y, X), female(X).
daughter_of(X, Y) :- mother_of(Y, X), female(X).
sibling_of(X, Y):-father_of(Z, X), father_of(Z, Y),X\=Y.
sibling_of(X, Y):-mother_of(Z, X), mother_of(Z, Y),X\=Y.
ZmF0aGVyX29mKGpvZSwgcGF1bCkuCmZhdGhlcl9vZihqb2UsIG1hcnkpLgpmYXRoZXJfb2Yoam9lLCBob3BlKS4KbW90aGVyX29mKGphbmUsIHBhdWwpLgptb3RoZXJfb2YoamFuZSwgbWFyeSkuCm1vdGhlcl9vZihqYW5lLCBob3BlKS4KbWFsZShwYXVsKS4KbWFsZShqb2UpLgptYWxlKHJhbHBoKS4KbWFsZShYKTotZmF0aGVyX29mKFgsIFkpLgpmZW1hbGUobWFyeSkuCmZlbWFsZShqYW5lKS4KZmVtYWxlKGhvcGUpLgpmZW1hbGUoWCk6LW1vdGhlcl9vZihYLCBZKS4Kc29uX29mKFgsIFkpIDotIGZhdGhlcl9vZihZLCBYKSwgbWFsZShYKS4Kc29uX29mKFgsIFkpIDotIG1vdGhlcl9vZihZLCBYKSwgbWFsZShYKS4KZGF1Z2h0ZXJfb2YoWCwgWSkgOi0gZmF0aGVyX29mKFksIFgpLCBmZW1hbGUoWCkuCmRhdWdodGVyX29mKFgsIFkpIDotIG1vdGhlcl9vZihZLCBYKSwgZmVtYWxlKFgpLgpzaWJsaW5nX29mKFgsIFkpOi1mYXRoZXJfb2YoWiwgWCksIGZhdGhlcl9vZihaLCBZKSxYXD1ZLgpzaWJsaW5nX29mKFgsIFkpOi1tb3RoZXJfb2YoWiwgWCksIG1vdGhlcl9vZihaLCBZKSxYXD1ZLgo=