2 ms·

I think it would be easier to embed Shen in a language. By implementating the kernel language KLamba, you get Shen, which includes a Prolog.