predicates man(symbol) pompeian(symbol) roman(symbol) ruler(symbol) loyalto(symbol,symbol) notloyalto(symbol,symbol) hate(symbol,symbol) person(symbol) tryassassinate(symbol,symbol) clauses person(X):- man(X). man(marcus). ruler(caeser). tryassassinate(marcus,caeser). notloyalto(X,Y) :- person(X), ruler(Y), tryassassinate(X,Y), write(\"Person - \",X),nl, write(\"Ruler -\",Y),nl. hate(X,caeser) :- roman(X). loyalto(X,caeser) :- roman(X). pompeian(marcus). roman(X) :- pompeian(X). goal clearwindow, notloyalto(Marcus,caeser).