isa(canary, bird).
isa(ostrich, bird).
isa(bird, animal).
isa(opus, penguin).
hasprop(tweety, color, white).
hasprop(canary, color, yellow).
hasprop(bird, travel, fly).
hasprop(ostrich, travel, walk).
hasprop(robin, sound, sing).
hasprop(bird, cover, feathers).
isa (robin, bird), isa(penguin, bird), isa(fish, animal). isa(tweety, canary). hasprop(robin, color, red), hasprop(penguin, color, brown) hasprop(fish, travel, swim). hasprop(penguin, travel, walk) hasprop(canary, sound, sing), hasprop(animal, cover, skin).
hasproperty(Object, Property, Value):-
hasprop(Object, Property, Value), hasproperty(Object, Property, Value) :-
isa(Object, Parent),
hasproperty(Parent, Property, Value).
aXNhKGNhbmFyeSwgYmlyZCkuCgppc2Eob3N0cmljaCwgYmlyZCkuCgppc2EoYmlyZCwgYW5pbWFsKS4KCmlzYShvcHVzLCBwZW5ndWluKS4KCmhhc3Byb3AodHdlZXR5LCBjb2xvciwgd2hpdGUpLgoKaGFzcHJvcChjYW5hcnksIGNvbG9yLCB5ZWxsb3cpLgoKaGFzcHJvcChiaXJkLCB0cmF2ZWwsIGZseSkuCgpoYXNwcm9wKG9zdHJpY2gsIHRyYXZlbCwgd2FsaykuCgpoYXNwcm9wKHJvYmluLCBzb3VuZCwgc2luZykuCgpoYXNwcm9wKGJpcmQsIGNvdmVyLCBmZWF0aGVycykuCgppc2EgKHJvYmluLCBiaXJkKSwgaXNhKHBlbmd1aW4sIGJpcmQpLCBpc2EoZmlzaCwgYW5pbWFsKS4gaXNhKHR3ZWV0eSwgY2FuYXJ5KS4gaGFzcHJvcChyb2JpbiwgY29sb3IsIHJlZCksIGhhc3Byb3AocGVuZ3VpbiwgY29sb3IsIGJyb3duKSBoYXNwcm9wKGZpc2gsIHRyYXZlbCwgc3dpbSkuIGhhc3Byb3AocGVuZ3VpbiwgdHJhdmVsLCB3YWxrKSBoYXNwcm9wKGNhbmFyeSwgc291bmQsIHNpbmcpLCBoYXNwcm9wKGFuaW1hbCwgY292ZXIsIHNraW4pLgoKCmhhc3Byb3BlcnR5KE9iamVjdCwgUHJvcGVydHksIFZhbHVlKTotCgpoYXNwcm9wKE9iamVjdCwgUHJvcGVydHksIFZhbHVlKSwgaGFzcHJvcGVydHkoT2JqZWN0LCBQcm9wZXJ0eSwgVmFsdWUpIDotCgppc2EoT2JqZWN0LCBQYXJlbnQpLAoKaGFzcHJvcGVydHkoUGFyZW50LCBQcm9wZXJ0eSwgVmFsdWUpLg==