Comment by attila-lendvai

there's this interesting proof of concept written in common lisp:

https://github.com/projectured/projectured

the depth work is almost done. IIRC there are only a couple of nontrivial issues left, but it's been abandoned.