Improving VM for Prolog