Implementation idea of the verifier

[Thihup]

Hello!

I'd like to suggest an idea for the implementation of the verifier.
As it is one of the most complex areas to implement fully, I was thinking that maybe it would be possible to include the Prolog code that is in the specification (https://docs.oracle.com/javase/specs/jvms/se17/html/jvms-4.html#jvms-4.10) and use some Prolog interpreter, like https://github.com/ichiban/prolog to run it.

This way it can both simplify the implementation and also help validate that the Prolog source code provided in the specification works as expected :)

[platypusguy]

Hello Thiago!Thank you for this suggestion and thank you also for your longstanding interest in Jacobin. We're finishing up the interpreter at the moment and haven't given much thought to how to translate the Prolog validation definitions in the JVM spec. So, I really appreciate you pointing us to this project, especially because it is written in go, which allows us to continue with our goal of a JVM written entirely in go. I'll save your suggestion for when we get into the validation phase. Again, thank you!