While SICP is certainly a great book, more direct to the topic would be a different classic: Norvig's Paradigms of AI Programming is purely about creating logi

While SICP is certainly a great book, more direct to the topic would be a different classic: Norvig's Paradigms of AI Programming is purely about creating logic & unification systems in Lisp, and the foundation of many codebases still in use today. https://github.com/norvig/paip-lisp https://github.com/norvig/paip-lisp