% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
gender(male,charles).
gender(male,mark).
gender(male,andrew).
gender(male,william).
gender(female,mary).
gender(female,alice).
gender(female,wallis).
gender(female,elizabeth).
gender(female,allison).
gender(female,judy).
gender(female,margaret).
gender(female,sophie).
gender(female,martha).
gender(female,anne).
gender(female,sarah).
gender(female,heather).
 
% parent(X,Y): parent X begat child Y
parent(george,henry).
parent(george,edward).
parent(george,luke).
parent(george,allison).
parent(luke,judy).
parent(luke,margaret).
parent(philip,charles).
parent(philip,anne).
parent(philip,andrew).
parent(charles,william).
parent(charles,heather).
parent(mary,henry).
parent(mary,edward).
parent(mary,luke).
parent(mary,allison).
parent(elizabeth,judy).
parent(elizabeth,margaret).
parent(judy,charles).
parent(judy,anne).
parent(judy,andrew).
parent(martha,william).
parent(martha,heather).

JSBnZW5kZXIoWCxZKTogcGVyc29uIFkgaXMgb2YgZ2VuZGVyIFgKZ2VuZGVyKG1hbGUsZ2VvcmdlKS4KZ2VuZGVyKG1hbGUsaGVucnkpLgpnZW5kZXIobWFsZSxlZHdhcmQpLgpnZW5kZXIobWFsZSxsdWtlKS4KZ2VuZGVyKG1hbGUsZ3JlZ29yeSkuCmdlbmRlcihtYWxlLHBoaWxpcCkuCmdlbmRlcihtYWxlLGFudG9ueSkuCmdlbmRlcihtYWxlLGVkd2FyZCkuCmdlbmRlcihtYWxlLGNoYXJsZXMpLgpnZW5kZXIobWFsZSxtYXJrKS4KZ2VuZGVyKG1hbGUsYW5kcmV3KS4KZ2VuZGVyKG1hbGUsd2lsbGlhbSkuCmdlbmRlcihmZW1hbGUsbWFyeSkuCmdlbmRlcihmZW1hbGUsYWxpY2UpLgpnZW5kZXIoZmVtYWxlLHdhbGxpcykuCmdlbmRlcihmZW1hbGUsZWxpemFiZXRoKS4KZ2VuZGVyKGZlbWFsZSxhbGxpc29uKS4KZ2VuZGVyKGZlbWFsZSxqdWR5KS4KZ2VuZGVyKGZlbWFsZSxtYXJnYXJldCkuCmdlbmRlcihmZW1hbGUsc29waGllKS4KZ2VuZGVyKGZlbWFsZSxtYXJ0aGEpLgpnZW5kZXIoZmVtYWxlLGFubmUpLgpnZW5kZXIoZmVtYWxlLHNhcmFoKS4KZ2VuZGVyKGZlbWFsZSxoZWF0aGVyKS4KCiUgcGFyZW50KFgsWSk6IHBhcmVudCBYIGJlZ2F0IGNoaWxkIFkKcGFyZW50KGdlb3JnZSxoZW5yeSkuCnBhcmVudChnZW9yZ2UsZWR3YXJkKS4KcGFyZW50KGdlb3JnZSxsdWtlKS4KcGFyZW50KGdlb3JnZSxhbGxpc29uKS4KcGFyZW50KGx1a2UsanVkeSkuCnBhcmVudChsdWtlLG1hcmdhcmV0KS4KcGFyZW50KHBoaWxpcCxjaGFybGVzKS4KcGFyZW50KHBoaWxpcCxhbm5lKS4KcGFyZW50KHBoaWxpcCxhbmRyZXcpLgpwYXJlbnQoY2hhcmxlcyx3aWxsaWFtKS4KcGFyZW50KGNoYXJsZXMsaGVhdGhlcikuCnBhcmVudChtYXJ5LGhlbnJ5KS4KcGFyZW50KG1hcnksZWR3YXJkKS4KcGFyZW50KG1hcnksbHVrZSkuCnBhcmVudChtYXJ5LGFsbGlzb24pLgpwYXJlbnQoZWxpemFiZXRoLGp1ZHkpLgpwYXJlbnQoZWxpemFiZXRoLG1hcmdhcmV0KS4KcGFyZW50KGp1ZHksY2hhcmxlcykuCnBhcmVudChqdWR5LGFubmUpLgpwYXJlbnQoanVkeSxhbmRyZXcpLgpwYXJlbnQobWFydGhhLHdpbGxpYW0pLgpwYXJlbnQobWFydGhhLGhlYXRoZXIpLg==

cGFyZW50KFBBUkVOVCwgY2hhcmxlcyksICBmb3JtYXQoJ353XG4nLFBBUkVOVCksZmFpbC4K

parent(PARENT, charles),  format('~w\n',PARENT),fail.