Logic programming library development log

I'm not sure, but I think that the code mirrors this remark in the text:

Cleverer methods could also take advantage of information in the frame, or try also to optimize the case where the car of the pattern is not a constant symbol.

Thank you. That’s a plausible explanation. And (SICP’s suggestion) something to consider eventually.