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.