A Brief History of the BEAM Compiler
I'm always surprised and delighted to see so many "first implementations" of languages in prolog. It was described to me in college as "just a novelty" but in fact it's used extensively in the JVM internals [1] and apparently is the starting-point impl for other languages.<p>But prolog still seems so..awkward. I wonder why langs like Haskell or OCaml aren't more de-facto for these purposes; they seem to have similar expressive power for parser/grammar things and with less inside-out paradigms (imho).<p>[1] <a href="https://docs.oracle.com/javase/specs/jvms/se8/jvms8.pdf" rel="nofollow">https://docs.oracle.com/javase/specs/jvms/se8/jvms8.pdf</a>