Which rule defines in Prolog the following sentence: “mary ownsa Pet if it is a cat and it has black spots”
owns(mary, Pet):- cat(Pet), black_spots(Pet).
owns(mary, Pet):- cat(Pet); black_spots(Pet).
mary(owns, Pet):- cat(Pet), black_spots(Pet).
cat(Pet), black_spots(Pet):-owns(mary, Pet).
Answer
owns(mary, Pet):- cat(Pet), black_spots(Pet).