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.

 jmp_rel(+VMIName, +Start, +End, -JmpRel)[private]

Relative position for the (choice) jump. This is the end of the instruction for most, but after the address for the compiled trie instructions. Should be made consistent.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 vmi_labels(Arg1, Arg2)

 clause_vm(Arg1, Arg2)