It sounds like the writer has a good idea on how to extract a lot more value from the subject for students, but I think we might be missing the value of tools l

It sounds like the writer has a good idea on how to extract a lot more value from the subject for students, but I think we might be missing the value of tools like prolog in the LLM era. It seems to me that tool use of prolog for logic and python or R for math would be extremely helpful for LLMs (especially smaller local ones) to solve problems.