Initial evaluation of a virtual machine for Or-parallel execution of logic programs