<< Previous exercise (4.66) | Index | Next exercise (4.68) >>
woofy
information should at least include : 1. rule name 2. variable bindings, both bounded (to values or other variables) and unbouned
if the rule is already in processing and the 1 and 2 information above is the same with the current attempt to apply after unification, then stop.
user-unknown
https://github.com/l0stman/sicp/blob/master/4.67.tex
information should at least include : 1. rule name 2. variable bindings, both bounded (to values or other variables) and unbouned
if the rule is already in processing and the 1 and 2 information above is the same with the current attempt to apply after unification, then stop.