cf HLH Orion architecture which was micro-programmed for Prolog, as well as LISP as mentioned here: https://en.wikipedia.org/wiki/HLH_Orion
cf HLH Orion architecture which was micro-programmed for Prolog, as well as LISP as mentioned here: https://en.wikipedia.org/wiki/HLH_Orion