DOMAINS. nondeterm родитель(имя, имя)

имя=string

PREDICATES

nondeterm родитель(имя, имя)

10. Для ответа на вопрос: верно ли, что Марина является родителем Саши, пропишите запрос:

GOAL

родитель(марина, саша).

Илья является родителем Марины, значит, Марина является дочерью Ильи. Марина и Николай являются родителями Иры, Марина является матерью Саши (рис. 3).

Рис. 3. Дерево семейных отношений1

11. Для ответа на вопрос: верно ли, что Алексей является родителем Ольги, измените запрос:

GOAL

родитель(алексей, ольга).

После запуска программы (Project → Test Goal) будет получен ответ:

No

12. Для ответа на вопрос: кто является ребенком Николая, запишите цель:

GOAL

родитель(николай, X).

Результат:

X=ира

1 Solution

13. Для ответа на вопрос: кто родители Ивана, укажите запрос:

GOAL

родитель(X, иван), родитель(Y, иван), X< > Y.

Результат (рис. 4):

X=елена, Y=сергей

X=сергей, Y=елена

2 Solutions

14. Для определения всех родителей и их детей, запишите:

GOAL

родитель(X, Y).

Результат (рис. 5):

X=илья, Y=марина

X=марина, Y=ира

X=елена, Y=иван

X=николай, Y=ира

X=ольга, Y=алексей

X=марина, Y=саша

X=сергей, Y=иван

7 Solutions

Рис. 5. Определение родителей и детей в программе

Контрольные задания:

Напишите программу, которая передаёт ту же информацию, что и следующие факты и предложения на языке Пролог согласно варианту, выданному преподавателем:

Вариант 1. likes(jeff, painting).

Вариант 2. male(john).

Вариант 3. building(" Empire State Building", new_york).

Вариант 4. person(roslin, jeanie, " 1429 East Sutter St.", " Scotts Valley", " CA", 95066).

Вариант 5. likes(Kate, paint).

Вариант 6. fun(car).

Вариант 7. blue(ball).

Вариант 8. likes(john, smile).

Вариант 9. revise (karmen, Something): - revise (bill, Something).

Вариант 10. Helen likes pizza.

Вариант 11. San Francisco is in California.

Вариант 12. Amy's telephone number is 476-0299.

Вариант 13. Len's father is Alphonso Grenaldi.

Вариант 14. Jon likes angler.

Вариант 15. Karin mail address is 58@mail.ru.

Вариант 16. Len's mather is good cook.

Контрольные вопросы:

1. Что собой представляет программа, написанная на языке Prolog?

2. Каким образом Prolog проверяет истинность гипотезы?

3. Что в первую очередь определяют в Прологе?

4. Дайте понятие предиката.

5. Приведите пример предиката.

6. Что в логическом языке является фактом?

7. Из чего состоит факт?

8. Что в логическом языке позволяют выводить правила?

9. Дайте понятие запроса.