Use Prolog to solve the following problem. You can readily download a version of Prolog off the Web. Consider the following facts: * The members of the Elm St. Gobblet Club are Joe, Sally, Bill, and Ellen. *Joe is married to Sally. * Bill is Ellen's brother. The spouse of every married person in the club is also in the club. * The last meeting of the club was at Joe's house. a) Represent these facts in predicate logic and then convert them into clause form and enter them into a Prolog program. b) From the facts given above, most people would be able to decide on the truth of the following additional statements: ** The last meeting of the club was at Sally's house. *Ellen is not married. Can you construct resolution proofs to demonstrate the truth of each of these statements given the five facts listed above? Do so if possible. Otherwise, add the facts you need to your Prolog program and then construct the proofs.