Re:A Brief History of the BEAM Compiler
by ryanianian on Thursday August 02, 2018 @01:08PM
(#17673211)
That's a good point - the doc uses it for notational clarity but it's not clear if it's actually used in the implementation(s).
I've not seen Prolog used in the JVM internals myself - it's just being used in this document as an inference notation to explain things as far as I know. Unless you know specifically where it's used, which would be interesting?