4.3.3 实现amb求值器