improve VM for Prolog.