I think that there is a small-ish language. And then a bunch of hand-coded libraries that do a lot of the heavy lifting.
But I'm curious what that core language is like. I assume someone, somewhere has built an interpreter that is equivalent. Any ideas?
https://www.youtube.com/watch?v=H-rnezxOCA8
https://www.youtube.com/watch?v=5FWzvXPLw7A
https://www.youtube.com/watch?v=u1Oijydu4qI
> The most widely used rewriting engines often sit at the heart of programs and languages used for logic programming, proof assistants and computer algebra systems. One of the most popular of these is Mathematica and the Wolfram language.
Thanks!
I think that there is a small-ish language. And then a bunch of hand-coded libraries that do a lot of the heavy lifting.
But I'm curious what that core language is like. I assume someone, somewhere has built an interpreter that is equivalent. Any ideas?