need answer....?

[Sudheesh V]

  Consider the following facts-Shiva, Gopal and Madhu are people. Shiva likes all kinds of food. Apples are food. Chicken is food. Anything anyone eats and is not killed as a result is food. If you are killed you are not alive. Madhu eats everything Gopal eats. Gopal eats peanuts and is still alive. a. Translate the above in FOL. b. Express the formulas of oart a) into clause form. c. Using resolution method show that “Shive like peanuts” is true. d. Using resolution method show that “Madhu eats something” is true. Show how a resolution method based theorem prover answers the question “What does Madhu eat?”.