[robocat]

What happens when you add

  male(philip).

If you're missing that rule then you're getting what you would expect?

[jhbadger]

It would still work -- the issue both in the Prolog rules and in real life was that monarch(philip) wasn't true, hence why he was just Prince Philip.