Does anyone know of the state of the art of stack and symbolic CPUs? I'm reading a few books that address stack computers and also symbolic CPUs, ones which ma

Does anyone know of the state of the art of stack and symbolic CPUs? I'm reading a few books that address stack computers and also symbolic CPUs, ones which may run things like Forth, Prolog, and Lisp directly on the CPU (or more directly rather than via abstractions sitting on top of Von Neumann architectures). The ideas in the books, such as those in A High Performance Architecture for Prolog, seem important and useful, but it's hard to tell if they aren't useful in today's modern age or if they simply fell out of favor or interest. In today's age with FGPAs, ASICs, RISC-V, etc., it seems ripe territory for custom CPU development, but about the only thing I know of that is along the lines of the above is the GreenArrays GA144 chip. https://www.greenarraychips.com/ https://www.greenarraychips.com/