some Mozart 2 VM code

as seen previously on LtU, there's a new Mozart VM in the works, and a more recent post says here is some code.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Main interpreter loop

In case someone is interested, the main action starts here.

(This part looks like a standard register-based VM. I suppose the data representation choices, and unification implementation, are more differentiating.)

PS: apparently unification-in-depth is not yet implemented (in the same file, only the case where one operand is undefined is implemented).