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 direct Male 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.
Part 1: 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).
I can't look to get this to work for some reason could somebody provide me the answer to compare and test?