2016/01/13

SICP 問題 4.46

構文解析器が右から左に非演算子を評価する時
perse-noun-phrase中の

(amb noun-phrase
     (maybe-extend (list 'noun-phrase noun-phrase
                         (parse-prepositional-phrase))))

で,maybe-extendが先に評価されてしまう.
すると,実際に名詞が先にきた場合はmaybe-extendは失敗する.
次のnoun-phraseで成功して処理が終わる.
名詞の後ろに前置詞がきてる場合はそこの解析は行われない.
 
そのためamb評価器は左から右へ評価していく必要が有る.


© 2022 wat-aro