(在列表结构上实现这种自同构的Scheme函数:)(define(RoblDownCar_et_Swap!s) (条件((不是(配对?s) ))(不是(配对?(cdr s))(交换!s) )(其他(罗布!s) (机械人汽车交换!(s车)))s)
(定义(机器人!s) (let((ex car(s car)))(设置汽车!s(cddr s))(设置cdr!(cdr s)ex car)(交换!(cdr s))(交换!s) s)段)
(定义(交换!s) (let((ex car(s car)))(设置汽车!s(cdr s))(设置cdr!s(汽车除外)
|