I saw this question in a textbook and I have tried solving it but its proving too difficult to solve. Anyone here who can assist?Victor has been murdered, and Arthur, Bertram, and Carleton are the only suspects (meaning exactly one of them is the murderer). Arthur says that Bertram was the victims friend, but that Carleton hated the victim. Bertram says that he was out of town the day of the murder, and besides he didnt even know the guy. Carleton says that he saw Arthur and Bertram with the victim just before the murder. You may assume that everyone  except possibly for the murderer  is telling the truth. (a) Use Resolution to find the murderer. In other words, formalize the facts as a set of clauses, prove that there is a murderer, and extract his identity from the derivation.
Resolution in First Order Logic
knowledge representation;logic;prolog