killer(butch).
married(mia,marcellus).
died(zed)
kills(marcellus,X):-do_foot_massasge(X,mia)
loves(marcellus,X):-good_dancer(X)
eats(jules,X):- nutrious(X)
 eats(jules,X):- tasty(X)