sicp-ex-4.54



<< Previous exercise (4.53) | Index | Next exercise (4.55) >>


meteorgan

  
  
  
 (if (not (true? pred-value)) 
     (fail2) 
     (succeed 'ok fail2)) 

Voted. However it is interesting to think about expressions like

 (require (amb true false)) 

The simple one above seems simply has the effect as a no-op.