member

Похоже, что будет правильным потом объединить это с предыдущим …

member - возвращает “хвост” списка lst, который начинается с any, когда any является членом списка lst, в противном случае NIL.

member/2 - предикат Pilog, который выполняется успешно, если первый аргумент является членом списка во втором аргументе.

https://picolisp.tiddlyhost.com/#member

Пытаюсь получить представление конкретного “скобочно-списочного“ кода на графе … меняется отношение к скобкам, в приниципе … все-таки, не смотря на то, что о них много говорят и используют, сама концепция скобок развита слабо, фактически, скобки не концептуализированы … Становится понятным откуда в Lisp возникла идея рекурсии и идея “лямбды“ … то есть “анонимной функции“ (“черного ящика”) … но вот тема - как представить на графе скобки … и повторяющийся вызов функции с разными параметрами … да ещё продуцированными в процессе, описываемом в том же “списке” … С вложениями не проблема … просто можно менять “контекст“, например, переходом к другому холсту … А ведь ещё надо отличать, собственно, вызовы от определений … Вот где с объектной концепцией проще, в предствлении графом, где узлы - фреймы и … сообщения, которыми они обмениваются … и где ребра можно, в принципе не именовать, демонстрируя только ориентацию “вычисления“ (эволюционного процесса, переходы, условные и безусловные), акцентируя, когда надо, синхронизацию процессов и параллельность …

Вот почему часто вплывает в сознании “Сети Петри“ … Не просто отделить физический, аппаратный процесс от его символизации, синтаксиса … И, возможно, что метафора “код как данные“ пока остается просто метафорой, ещё не реализованной на практике. Пока, по крайней мере мне, специфицировать объекты на “пассивные” и “активные” (операторы), акцентируя символьные структуры и их трансформаторы (представленные структурами символов - “трансформерами”), не просто. И я, сплошь и рядом, вижу как путаются здесь другие. Модель и её код - разные вещи, но код - тоже модель.