No , no needed. Nor is Warren's Abstract Machine needed for building
prolog. An elegant example is seen in Paul Graham's out standing book
<<On Lisp>> ( http://www.yqcomputer.com/ ).
Yes, as John Doty said : "Somehow you need to get down to the
hardware, so somebody needs to code up some way to generate
machine code for the machine in question ."
And this "somehow" needs not to be C/C++. For pascal , it can be
pascal . For prolog , it should be possible to be prolog.