Question: 6 . ( 1 5 points ) Assume the following facts: ( Ax ) [ ( Country ( x ) / , Democr acy

6.(15 points) Assume the following facts:
(Ax)[(Country(x )/\,Democr acy(x))(Ez)(Rich(z)/\ King(z, x))]
(Au)(Av)(Aw)(Ax)[(Resides(u, x)/\ Located(x, v)/\ Country(v)/\ King(w, v))Rules(w, u)]
Country(England)
Country(SaudiArabia)
Country(France)
Located(London,England)
Located(Paris,France)
Democracy(England)
Democracy(SaudiArabia)
Resides(Bob,London)
Use resolution to answer the following question:
"Who rules Bob?"

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!