программа на PROLOG

Резвый - это собака. Рекс-это собака. Белка - это кошка. Быстрая - это лошадь. Резвый - черная. Белка - белая. Рекс -рыжая. Быстрая - белая. Домашние животные - это собака или кошка. Животные - это либо лошадь, либо домашние животные. Том владеет тем, кто собака и не черного цвета. Кейт владеет тем, кто либо черного цвета, либо лошадь.

Запросы:

- Перечислить всех известных животных.

- Кем владеет Том?

- Кем владеет Кейт?

+требуются подробные комментарии объясняющие реализацию программы.