At least some VAX models supported user-supplied microcode and thus a customizable ISA. This could be used, for example, to implement a Prolog abstract machine directly on the CPU[1].

[1] http://hps.ece.utexas.edu/pub/gee_micro19.pdf