3 2 5 Подсписок



3. 2. 5.    Подсписок

Рассмотрим теперь отношение подсписок. Это отношение имеет два аргумента - список L и список S, такой, что S содержится в L в качестве подсписка. Так отношение

        подсписок( [c, d, e], [a, b, c, d, e, f] )

имеет место, а отношение

        подсписок( [c, e], [a, b, c, d, e, f] )

нет. Пролог-программа для отношения подсписок может основываться на той же идее, что и принадлежит1, только на этот раз отношение более общо (см. Рисунок 3.4).



- Начало - - Назад - - Вперед -


Книжный магазин