May not be hot tech like ML, but traditional symbolic AI is still pretty useful in stuff like Natural language processing. Plus, it's a great way to learn funct

May not be hot tech like ML, but traditional symbolic AI is still pretty useful in stuff like Natural language processing. Plus, it's a great way to learn functional programming too. Book rec: Computation Semantics with Functional Programming. It goes through the whole gamut of formal languages, lambda calculus, propositional logic, predicate logic, logical inference engines, nl semantics etc. It uses Haskell to build concrete examples for each section, and contains a concise tutorial on the language too. Very self-contained. No prerequisites required.