Задание в ЯП Prolog

Необходимо выполнить 3 задания на языке Prolog. Файл с заданием(задание_5) прикрепил, ниже скопировал, но без картинки. Введение в язык тоже прикрепил.

Добавить краткое описание работы программы к каждому заданию (можно комментарии).

Задание 1

При заданной ниже информации средствами языка Prolog определить, какие животные не имеют хозяина. 

1. Бутси — коричневая кошка. 

2. Корни — черная кошка. 

3. Мак — рыжая кошка. 

4. Флэш, Ровер и Спот — собаки, Ровер — рыжая, а Спот — белая. 

5. Все животные, которыми владеют Том и Кейт, имеют родословные. 

6. Том владеет всеми черными и коричневыми животными, а Кейт владеет

всеми собаками небелого цвета, которые не являются собственностью Тома.

7. Алан владеет Мак, если Кейт не владеет Бутси и если Спот не имеет

родословной. 

8. Флэш — пятнистая собака. 

Подсказка. Необходимо дополнительно определить понятие “животное”. Тогда цель можно будет сформулировать так: ?- животное (X), not (хозяин (_,X)).

Внимание! Перед отправкой задания проверяйте правильность программы с помощью цели: ?-хозяин (X, Y).

Задание 2

Дан следующий лексикон.

word(article,a).

word(article,every).

word(noun,criminal).

word(noun,’big kahuna burger’).

word(verb,eats).

word(verb,likes).

sentence(W1,W2,W3,W4,W5) :- word(article,W1),

word(noun,W2), word(verb,W3), word(article,W4),

word(noun,W5).

Написать такой запрос, чтобы в результате получить список всех возможных фраз данного лексикона.

Задание 3

Имеется 6 слов: abalone, abandon, anagram, connect, elegant, enhance, представленных в базе знаний следующим образом:

word(abalone,a,b,a,l,o,n,e).

word(abandon,a,b,a,n,d,o,n).

word(enhance,e,n,h,a,n,c,e).

word(anagram,a,n,a,g,r,a,m).

word(connect,c,o,n,n,e,c,t).

word(elegant,e,l,e,g,a,n,t).

Реализовать предикат crosswd/6 = crosswd(V1,V2,V3,H1,H2,H3), который бы заполнял данными словами следующий кроссворд таким образом, чтобы слова, идущие вертикально были первыми тремя аргументами, а слова, идущие горизонтально — последними тремя.