Did you know ... | Search Documentation: |
vm.pl -- SWI-Prolog Virtual Machine utilities |
This is an internal developers module to manage the virtual machine instructions.
current_output
. Spec is also allowed to be a clause-reference.vmi(VMI,Size)
.
In the labeled represention the jump
arguments of VMIs are label
names and there are entries label(Name)
in the list.