4.3 Scheme 的变形 —— 非确定性求值
=====================================