LispはS式上にForthやPrologすらも構築できる
ラムダ式とやらで、それができるのか