Вопрос по SWI-Prolog Кто где живет

Помогите задать запрос:
живет ('зебра',земля). %Зебра живет на земле
живет ('собака',земля). %собака на земле
живет ('карп',вода). %карп в воде
живет ('кит',вода). %кит в воде
живет ('кошка',X):-живет ('собака',X).%кошка живет там же где и собака

живет (Кто, Где). % Кто где живет?

живет (Кто, 'земля'), живет (Кто, 'вода').%Кто живет и на земле, и в воде?

Кто живет на земле, но не является собакой? Как задать последний запрос?