insert键是哪个键?

swi prolog使用指南

关于Hypervisor的理解