Define the predicate successor

Assignment Help Theory of Computation

Reference no: EM13696482

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?

Reference no: EM13696482

Questions Cloud

Empirical formula should be written with whole numbers : Problem- Upon combustion, a 1.000 g sample of a compound containing hydrogen, oxygen and carbon produced 1.50 g CO2 and 0.41 g H2O. a. Find the empirical formula. This empirical formula should be written with whole numbers.

Implement the basic properties of a bank account : Define the class bankAccount to implement the basic properties of a bank account. An object of this class should store the subsequent data:

Calculate the radiation dosage exposed for ci : Problem- Calculate the radiation dosage (in grays) for an 77-kg person that is exposed for 3.0 seconds to a 3.0 Ci source of beta radiation. Assume that 100% of the radiation is absorbed and each beta particle has an energy of 2.0× 10-13 J.

Determines and displays the smallest and largest : Create a method that determines and displays the smallest and largest of the ten values. Then, pass the array to the method - Create a GUI application whose button's Click() method accepts ten integer values from a TextBox and stores them in an arra..

Define the predicate successor : 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).

Calculate the effective radiation dosage : Problem- Calculate the effective radiation dosage (in Sieverts) for a 69-kg person who is exposed to 4.9 × 109 particles of alpha radiation.

Describe what side effect is the expression contains : Provide an example in C++ of an expression whose value depends upon the evaluation order - Show the orders that produce different values and the values they produce.

Draw the molecule by placing atoms on the grid : Problem- Draw the Lewis structure of H2O. Include any nonbonding electron pairs. Draw the molecule by placing atoms on the grid and connecting them with bonds. Include all lone pairs of electrons.

Write a flowchart to print the largest of any 3 numbers : Write a flowchart to print the largest of any 3 numbers - Write a flowchart to print a product of 3 numbers.

User Account

All Pages