sicp-ex-4.47



<< Previous exercise (4.46) | Index | Next exercise (4.48) >>


meteorgan

  
  
 This doesn't work. Because the second branch of amb expression will call (parse-verb-phrase) again, this will lead to infinite loop. If we change the order in amb, it still will lead to infinite loop.