Упражнение

1. Загрузите программу CH08EX06.PRO и попробуйте выполнить целевое

утверждение:

member(susan, [ian, susan, john]).

2. Добавьте domain и предикатные утверждения таким образом, чтобы

установить принадлежность числа числовому списку. Поробуйте несколь-

ко целевых утверждений, включая

member(X, [1, 2, 3, 4]).

для проверки вашей новой программы.

3. Имеет ли значение порядок написания двух предложений для предика-

та member? Посмотрите, как ведет себя программа, если поменять мес-

тами два предложения. Различие обнаружится при выполнении целевого

утверждения

member(X, [1, 2, 3, 4, 5])

для обоих случаев.