vm.pl -- SWI-Prolog Virtual Machine utilities

This is an internal developers module to manage the virtual machine instructions.

 vm_list(:Spec) is det

Lists the definition of the predicates matching Spec to current_output. Spec is also allowed to be a clause-reference.

 clause_vm(+ClauseRef, -VM:list) is det

True when VM is the virtual machine code of ClauseRef. Each instruction is a term vmi(VMI,Size).

 vmi_labels(?VMI, ?Labeled)

Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2. Assumes we only jump forwards.

In the labeled represention the jump arguments of VMIs are label names and there are entries label(Name) in the list.