как поступить, если надо входные списки типа
(if (or (and (f1 x1 x2) (f2 x1 x2))))
(if (and (f1 x1 x2) (f2 x1 x2)))
заменить на
(if (or (and RES1 RES2)))
(if (and RES3 RES4))
т.е. найти имя определенной функции и заменить найденный список на результат применения этой функции к аргументам.
"в лоб" задача решается просто, но, возможно, есть какие-нибудь средства сопоставления по образцу? кажется, для схемы здесь несколько месяцев назад проскакивала ссылка(без исходников, чей-то диплом)..
спасибо