I'm not looking for a bytecode VM language with great performance - my performance will be in how I use the language, not in what language I pick. Something slow is okay! I need simple-elementary. I'm not porting Windows NT to it. For that matter, I'm not porting anything to it.

I want a VM bytecode that is a little like RISC, a little like LISP. Something academic, something Wolfram might come up with. Something Turing-complete, but unable to natively parse XML Unicode. Is Xen what I'm looking for? I'm trying to understand what Xen is but I doubt it.

about 9,980,000 for "virtual machine".
about 4,260,000 for "virtual machine" -java.
about 2,880,000 for "virtual machine" -java -vmware -"virtual pc".
about 28,400 for "virtual machine" -java -vmware -"virtual pc" -x86 -pvm bytecode.

Ah! That's more like it. I'm told there are two VMs that may be what I'm looking for. They're called Neko and Parrot. Python and Xen might help, too, but I've checked out Python's bytecode and it's not really what I want.

To answer the question, all you must do is ask it correctly.

I love LISP but... I need a bytecode for this one.