Package gnu.prolog.vm.interpreter Description

InterpretedCodeCompiler uses the various classes beginning with I
and extending Instruction in the
instruction sub-package to
compile clauses to InterpretedByteCode.
This uses a Warren Abstract Machine model of execution and so reading the paper
"An Abstract Prolog Instruction Set" by David Warren (1983, Technical note 309)
might help to understand it.