Функция осуществляет поиск элемента, удовлетворяющего условию, в списке list. Если элемент не найдёт, возвращается nil. Иначе возвращается часть списка, начинающаяся с искомого элемента. Поиск осуществляется только в верхнем уровне списка. Эти функции могут использоваться в качестве предикатов.

Например:

Следует отметить, что в последнем примере значение, возвращённое member, равно eq части списка, которая начинается на a. Если member вернула не nil значение, то для изменения полученного элемента списка можно использовать rplaca.

Смотрите также find и position.

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9

tailp истинен тогда и только тогда, когда существует такое целое число n, что выполняется

list может быть списком с точкой (подразумевается, что реализации могут использовать atom и не могут endp для проверки конца списка list). FIXME

adjoin используется для добавления элементов во множество, если этого элемента во множестве ещё не было. Условие равенства по-умолчанию eql.

Условие равенства может быть любым предикатом. item добавляется в список тогда и только тогда, когда в списке не было ни одного элемента, «удовлетворяющего условию».

adjoin отклоняется от обычных правил, описанных в главе 14 в части обработки параметров item и :key. Если указана :key функция, то она применяется к параметру item, также как и к каждому элементу списка. Обоснование в том, что если item ещё не был в списке и если он там появится, то применение функции :key к нему как элементу списка не будет корректным, если этого не было при его добавлении.

Смотрите также pushnew.

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9

union принимает два списка и возвращает новый список, содержащий всё, что является элементами списков list1 и list2. Если в списках есть дубликаты, то в итоговом будет только один экземпляр. Например:

Порядок элементов в итоговом списке не обязательно совпадает с порядком соответствующих элементов в списках. Итоговый список может иметь общие ячейки с или быть равным eq переданным аргументам.

Функция :test может быть любым предикатом, и операция объединения может быть описана следующим образом. Для всех возможных упорядоченных пар, состоящих из одного элемента из списка list1 и одного элемента из списка list2, предикат устанавливает «равны» ли они. Для каждой пары равных элементов, как минимум один из двух элементов будет помещён в результат. Кроме того, любой элемент, которые не был равен ни одному другому элементу, также будет помещён в результат. Это описание может быть полезным при использовании хитрых функций проверки равенства.

Аргумент :test-not может быть полезен, когда функция проверки равенства является логическим отрицанием проверки равенства. Хороший пример такой функции это mismatch, которая логически инвертирована так, что если аргументы не равны, то может быть получена возможная полезная информация. Эта дополнительная «полезная информация» отбрасывается в следующем примере. mismatch используется только как предикат.

Использование :test-not #’mismatch отличается от использования :test #’equalp, например, потому что mismatch определяет что #(a b) и (a b) одинаковы, тогда как equalp определяет эти выражения разными.

nunion является деструктивной версией union. Она выполняет ту же операцию, но может разрушить аргументы, возможно при использовании их ячеек для построения результата.

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9

intersection принимает два списка и возвращает новый список содержащий все элементы, которые есть и в первом и во втором списках одновременно. Например:

Порядок элементов в итоговом списке не обязательно совпадает с порядком соответствующих элементов в списках. Итоговый список может иметь общие ячейки с или быть равным eq переданным аргументам.

Функция :test может быть любым предикатом, и операция пересечения может быть описана следующим образом. Для всех возможных упорядоченных пар, состоящих из одного элемента из списка list1 и одного элемента из списка list2, предикат устанавливает «равны» ли они. Для каждой пары равных элементов, только один из двух элементов будет помещён в результат. Больше никаких элементов в итоговом списке не будет. Это описание может быть полезным при использовании хитрых функций проверки равенства.

nintersection является является деструктивной версией intersection. Она выполняет ту же операцию, но может разрушить аргумент list1, возможно при использовании их ячеек для построения результата. (Аргумент list2 не разрушается.)

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9

set-difference возвращает список элементов списка list1, которые не встречаются в списке list2. Данная операция не разрушает аргументы.

Порядок элементов в итоговом списке не обязательно совпадает с порядком соответствующих элементов в списке list1. Итоговый список может иметь общие ячейки, или быть равным eq аргументу list1.

:test может быть любым предикатом, и операция разности множеств может быть описана следующим образом. Для всех возможных упорядоченных пар, состоящих из элементов первого и второго списков, используется предикат для установки их «равенства». Элемент из списка list1 помещается в результат, тогда и только тогда, когда он не равен ни одному элементу списка. Это позволяет делать очень интересные приложения. Например, можно удалить из списка строк все строки, содержащие некоторый список символов: list2.

nset-difference является деструктивной версией set-difference. Данная операция может разрушить list1.

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9

set-exclusive-or возвращает список элементов, которые встречаются только в списке list1 и только в списке list2. Данная операция не разрушает аргументы.

Порядок элементов в итоговом списке не обязательно совпадает с порядком соответствующих элементов в списке list1. Итоговый список может иметь общие ячейки, или быть равным eq аргументу list1.

Функция проверки равенства элементов может быть любым предикатом, и операцию set-exclusive-or можно описать следующим образом. Для всех возможных упорядоченных пар, содержащих один элемент из списка list1 и один элемент из списка list2, функция используется для проверки «равенства». Результат содержит точно те элементы списков list1 и list2, которые были только в различающихся парах.

nset-exclusive-or является деструктивной версией set-exclusive-or. Данная операция может разрушить аргументы.

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9

subsetp является предикатом, который истинен, если каждый элемент списка list1 встречается в («равен» некоторому элементу в) списке list2, иначе ложен.

Пользователь ограничен в создании побочных действий так, как это описано в разделе 7.9