man(’Haakon VII’).
man(’Olav V’).
man(’Harald V’).
man(’Haakon’).
woman(’Martha’).
woman(’Mette-Marit’).
woman(’Maud’).
woman(’Sonja’).
parent(’Haakon VII’,’Olav V’).
parent(’Maud’,’Olav V’).
parent(’Olav V’,’Harald V’).
parent(’Martha’,’Harald V’).
parent(’Harald V’,’Haakon’).
parent(’Sonja’,’Haakon’).
father(X,Y):- parent(X,Y), man(X).
mother(X,Y):- parent(X,Y), woman(X).
 

bWFuKOKAmUhhYWtvbiBWSUnigJkpLgptYW4o4oCZT2xhdiBW4oCZKS4KbWFuKOKAmUhhcmFsZCBW4oCZKS4KbWFuKOKAmUhhYWtvbuKAmSkuCndvbWFuKOKAmU1hcnRoYeKAmSkuCndvbWFuKOKAmU1ldHRlLU1hcml04oCZKS4Kd29tYW4o4oCZTWF1ZOKAmSkuCndvbWFuKOKAmVNvbmph4oCZKS4KcGFyZW50KOKAmUhhYWtvbiBWSUnigJks4oCZT2xhdiBW4oCZKS4KcGFyZW50KOKAmU1hdWTigJks4oCZT2xhdiBW4oCZKS4KcGFyZW50KOKAmU9sYXYgVuKAmSzigJlIYXJhbGQgVuKAmSkuCnBhcmVudCjigJlNYXJ0aGHigJks4oCZSGFyYWxkIFbigJkpLgpwYXJlbnQo4oCZSGFyYWxkIFbigJks4oCZSGFha29u4oCZKS4KcGFyZW50KOKAmVNvbmph4oCZLOKAmUhhYWtvbuKAmSkuCmZhdGhlcihYLFkpOi0gcGFyZW50KFgsWSksIG1hbihYKS4KbW90aGVyKFgsWSk6LSBwYXJlbnQoWCxZKSwgd29tYW4oWCkuCg==

Py0gbWFuKFgpLg==

?- man(X).