Question: During the Middle Ages, to determine the successor to the throne of France, the French used the Salic law. It is formulated as follows: the next to the throne is the living male descendant of the most directmale royal. Male royal here means that we consider only male ancestors. The most direct descendant means we prefer the one whose father is king to the one whose grandfather is king. In case of a tie, the eldest takes precedence over his brothers.
Q: Define the predicate Successor(Year) giving the solution as the first successor to the crown for the year specified.
To do this, use the predicates born(X, Year), died(X, Year), male(X).
Please don't copy and paste from Google. I need in your own words. Prove your claim.