% Define parent-child relationships
parent(emma, robert).
parent(kevin, mary).
parent(anne, mary).
 
% Define father and mother relationships using parent predicate
father(Father, Child) :- parent(Father, Child), male(Father).
mother(Mother, Child) :- parent(Mother, Child), female(Mother).
 
% Define male and female family members
male(kevin).
female(emma).
female(anne).
female(mary).
 
% Define a rule to check for siblings
siblings(Person1, Person2) :- 
    parent(Parent, Person1), 
    parent(Parent, Person2),
    Person1 \= Person2.
 
% Queries you can run to test the relationships
% ?- father(Father, mary).
% ?- mother(Mother, mary).
% ?- siblings(mary, robert).
 
 

JSBEZWZpbmUgcGFyZW50LWNoaWxkIHJlbGF0aW9uc2hpcHMKcGFyZW50KGVtbWEsIHJvYmVydCkuCnBhcmVudChrZXZpbiwgbWFyeSkuCnBhcmVudChhbm5lLCBtYXJ5KS4KCiUgRGVmaW5lIGZhdGhlciBhbmQgbW90aGVyIHJlbGF0aW9uc2hpcHMgdXNpbmcgcGFyZW50IHByZWRpY2F0ZQpmYXRoZXIoRmF0aGVyLCBDaGlsZCkgOi0gcGFyZW50KEZhdGhlciwgQ2hpbGQpLCBtYWxlKEZhdGhlcikuCm1vdGhlcihNb3RoZXIsIENoaWxkKSA6LSBwYXJlbnQoTW90aGVyLCBDaGlsZCksIGZlbWFsZShNb3RoZXIpLgoKJSBEZWZpbmUgbWFsZSBhbmQgZmVtYWxlIGZhbWlseSBtZW1iZXJzCm1hbGUoa2V2aW4pLgpmZW1hbGUoZW1tYSkuCmZlbWFsZShhbm5lKS4KZmVtYWxlKG1hcnkpLgoKJSBEZWZpbmUgYSBydWxlIHRvIGNoZWNrIGZvciBzaWJsaW5ncwpzaWJsaW5ncyhQZXJzb24xLCBQZXJzb24yKSA6LSAKICAgIHBhcmVudChQYXJlbnQsIFBlcnNvbjEpLCAKICAgIHBhcmVudChQYXJlbnQsIFBlcnNvbjIpLAogICAgUGVyc29uMSBcPSBQZXJzb24yLgoKJSBRdWVyaWVzIHlvdSBjYW4gcnVuIHRvIHRlc3QgdGhlIHJlbGF0aW9uc2hpcHMKJSA/LSBmYXRoZXIoRmF0aGVyLCBtYXJ5KS4KJSA/LSBtb3RoZXIoTW90aGVyLCBtYXJ5KS4KJSA/LSBzaWJsaW5ncyhtYXJ5LCByb2JlcnQpLgoK

ZmF0aGVyKEZhdGhlciwgbWFyeSku

father(Father, mary).